Relational semantics for effect-based program transformations with dynamic allocation.

Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann

Browse the full PPDP paper archive.