Links und Funktionen

You are here: Home / Publikationen / Reading, Writing and Relations


Nick Benton, Andrew Kennedy, Martin Hofmann, and Lennart Beringer (2006)

Reading, Writing and Relations

In: Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings, ed. by Naoki Kobayashi, vol. 4279, pp. 114-130, Springer. Lecture Notes in Computer Science (ISBN: 3-540-48937-1).

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.

Document Actions