A Compiler for Natural Semantics
Abstract elided by the publisher.
Related papers
- The adequacy of Launchbury's natural semantics for lazy evaluation JFP 2018
- The Spineless Tagless G-machine, naturally ICFP 1998
- Natural semantics as a static program analysis framework TOPLAS 2004
- From natural semantics to C: A formal derivation of two STG machines JFP 2009
- Brack: A Verified Compiler for Scheme via CakeML CPP 2026
- Semantics-Directed Machine Architecture POPL 1982
- Natural-Semantics-Based Abstract Interpretation (Preliminary Version) SAS 1995
- Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing SAS 1998