@inproceedings{2fa4f4c900074b4c93def5ffed3895b4,
title = "Reading, writing and relations towards extensional semantics for effect analyses",
abstract = "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.",
author = "Nick Benton and Andrew Kennedy and Martin Hofmann and Lennart Beringer",
year = "2006",
doi = "10.1007/11924661_7",
language = "English (US)",
isbn = "3540489371",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "114--130",
booktitle = "Programming Languages and Systems - 4th Asian Symposium, APLAS 2006, Proceedings",
address = "Germany",
note = "4th Asian Symposium on Programming Languages and Systems, APLAS 2006 ; Conference date: 08-11-2006 Through 10-11-2006",
}