Authors
Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer
Publication date
2006
Conference
Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings 4
Pages
114-130
Publisher
Springer Berlin Heidelberg
Description
We give an elementary semantics to an effect system, tracking read and write effects by using relations over a standard extensional semantics for the original language. The semantics establishes the soundness of both the analysis and its use in effect-based program transformations.
Total citations
20062007200820092010201120122013201420152016201720182019202020212022202316241224145335222
Scholar articles
N Benton, A Kennedy, M Hofmann, L Beringer - Programming Languages and Systems: 4th Asian …, 2006