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.

• Type: Conference
• Year: 2006
• Where: APLAS
• Authors: Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer
• Keywords: APLAS 2006, Elementary Semantics, Effect-based Program Transformations, Standard Extensional Semantics