Programming Languages and Systems

Volume 4279 of the series Lecture Notes in Computer Science pp 114-130

Reading, Writing and Relations

Towards Extensional Semantics for Effect Analyses
  • Nick BentonAffiliated withMicrosoft Research
  • , Andrew KennedyAffiliated withMicrosoft Research
  • , Martin HofmannAffiliated withLudwig-Maximilians-Universität
  • , Lennart BeringerAffiliated withLudwig-Maximilians-Universität

* Final gross prices may vary according to local VAT.

Get Access


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.