Relational semantics for effect-based program transformations with dynamic allocation

Nick Benton, Andrew Kennedy, Lennart Beringer, Martin Hofmann

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

27 Scopus citations

Fingerprint

Dive into the research topics of 'Relational semantics for effect-based program transformations with dynamic allocation'. Together they form a unique fingerprint.

Computer Science

Keyphrases