From Natural Semantics to Abstract Machines

DOI10.1007/11506676_16MaRDI QIDQ5458806zbMATH OpenOpenAlexFDO

Authors Mads Sig Ager

Publication date 24 April 2008

Published in Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11506676_16

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Recommendations

• From operational semantics to abstract machines
• Systematic abstraction of abstract machines
• The spineless tagless G-machine, naturally
• The spineless tagless G-machine, naturally
• Natural semantics-directed generation of compilers and abstract machines

Cited in

(10)

• Rule-based operational semantics for an imperative language
• Inter-deriving Semantic Artifacts for Object-Oriented Programming
• An abstract machine for the old value retrieval
• scientific article; zbMATH DE number 4074517 (Why is no real title available?)
• From operational semantics to abstract machines
• Soundness conditions for big-step semantics
• The spineless tagless G-machine, naturally
• Natural semantics-directed generation of compilers and abstract machines
• Automating the functional correspondence between higher-order evaluators and abstract machines
• Inter-deriving semantic artifacts for object-oriented programming

This page was built for publication: From Natural Semantics to Abstract Machines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5458806)