From Natural Semantics to Abstract Machines

DOI10.1007/11506676_16zbMath1134.68387OpenAlexW1572670118MaRDI QIDQ5458806

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)

Related Items (4)

Soundness Conditions for Big-Step Semantics ⋮ Automating the functional correspondence between higher-order evaluators and abstract machines ⋮ Inter-deriving semantic artifacts for object-oriented programming ⋮ Rule-Based Operational Semantics for an Imperative Language

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