Type and effect systems (1999)
Cached
Download Links
- [www.cs.ucla.edu]
- [www.daimi.au.dk]
- [www.daimi.au.dk]
- [www.cs.ucla.edu]
- DBLP
Other Repositories/Bibliography
by
Flemming Nielson
,
Hanne Riis Nielson
| Venue: | ACM Computing Surveys |
| Citations: | 31 - 0 self |
BibTeX
@INPROCEEDINGS{Nielson99typeand,
author = {Flemming Nielson and Hanne Riis Nielson},
title = {Type and effect systems},
booktitle = {ACM Computing Surveys},
year = {1999},
pages = {114--136},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
