The feature construct for SMV: semantics

The feature construct for SMV: semantics (2000)

by Malte Plath , Mark Ryan

Venue:	In [22
Citations:	3 - 0 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	The feature construct for SMV: semantics	user correction - Legacy Corrections
AUTHOR NAME	Malte Plath	user correction - Legacy Corrections
AUTHOR AFFIL	School of Computer Science; University of Birmingham	user correction - Legacy Corrections
AUTHOR ADDR	Birmingham B15 2TT	user correction - Legacy Corrections
AUTHOR NAME	Mark Ryan	user correction - Legacy Corrections
AUTHOR AFFIL	School of Computer Science; University of Birmingham	user correction - Legacy Corrections
AUTHOR ADDR	Birmingham B15 2TT	user correction - Legacy Corrections
ABSTRACT	this paper is to give precise semantics to the feature construct for SMV. Using such semantics, we can explore in what circumstances the feature construct is independent of the syntax of the base program to which the feature is applied, and other properties of features. This allows us to explore when features commute with each other, and, more generally, to explore what classes of features are `interaction-friendly' with respect to other classes. It is also a step towards being able to verify the feature itself, independently of the system to which it is added.	user correction - Legacy Corrections
YEAR	2000	INFERENCE
VENUE	In [22	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	129--144	INFERENCE
CITATIONS	9 found	ParsCit 1.0