Reading, Writing and Relations: Towards Extensional Semantics for Effect Analyses
- Nick Benton ,
- Andrew Kennedy ,
- Martin Hofmann ,
- Lennart Beringer
Proceedings of the Fourth Asian Symposium on Programming Languages and Systems (APLAS '06) |
Published by Springer-Verlag
We show how to 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.