Sciweavers

APLAS
2006
ACM

Reading, Writing and Relations

14 years 6 months ago
Reading, Writing and Relations
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.
Nick Benton, Andrew Kennedy, Martin Hofmann, Lenna
Added 13 Jun 2010
Updated 13 Jun 2010
Type Conference
Year 2006
Where APLAS
Authors Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer
Comments (0)