Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Publikationen / Relational semantics for effect-based program transformations with dynamic allocation


Inhaltsbereich

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

Relational semantics for effect-based program transformations with dynamic allocation

In: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 14-16, 2007, Wroclaw, Poland, ed. by Michael Leuschel and Andreas Podelski, pp. 87-96, ACM (ISBN: 978-1-59593-769-8).

We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references. Effects are interpreted in terms of the preservation of certain binary relations on the store, parameterized by region-indexed partial bijections on locations. The semantics validates a number of effect-dependent program equivalences and can thus serve as a foundation for effect-based compiler transformations.

parametricity, Type and effect systems, region analysis, program transformation, logical relations

Artikelaktionen


Funktionsleiste