Type and effect systems

Type and effect systems (1999)

by Flemming Nielson , Hanne Riis Nielson

Venue:	ACM Computing Surveys
Citations:	31 - 0 self

Datum	Value	Source
TITLE	Type and effect systems	INFERENCE
AUTHOR NAME	Flemming Nielson	SVM HeaderParse 0.2
AUTHOR AFFIL	Department of Computer Science, Aarhus University, Denmark.	SVM HeaderParse 0.2
AUTHOR NAME	Hanne Riis Nielson	SVM HeaderParse 0.2
AUTHOR AFFIL	Department of Computer Science, Aarhus University, Denmark.	SVM HeaderParse 0.2
ABSTRACT	Abstract. The design and implementation of a correct system can benefit from employing static techniques for ensuring that the dynamic behaviour satisfies the specification. Many programming languages incorporate types for ensuring that certain operations are only applied to data of the appropriate form. A natural extension of type checking techniques is to enrich the types with annotations and effects that further describe intensional aspects of the dynamic behaviour.	SVM HeaderParse 0.2
YEAR	1999	INFERENCE
VENUE	ACM Computing Surveys	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	114--136	INFERENCE
VOLUME	28	INFERENCE
CITATIONS	17 found	ParsCit 1.0