From outermost reduction semantics to abstract machine

DOI10.1007/978-3-319-14125-1_6MaRDI QIDQ3453649zbMATH OpenOpenAlexFDO

Authors Olivier Danvy, Jacob Johannsen

Publication date 30 November 2015

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

Full work available at URL https://doi.org/10.1007/978-3-319-14125-1_6

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• From reduction-based to reduction-free normalization
• From reduction-based to reduction-free normalization
• scientific article; zbMATH DE number 7204429
• An abstract machine for strong call by value
• From operational semantics to abstract machines

Cites work

• A concrete framework for environment machines
• A syntactic approach to type soundness
• A syntactic correspondence between context-sensitive calculi and abstract machines
• Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• From reduction-based to reduction-free normalization
• On Proving Uniform Termination and Restricted Termination of Rewriting Systems
• Termination of rewriting
• The origins of structural operational semantics
• Twenty years of rewriting logic

Cited in

(7)

• Strongly reducing variants of the Krivine abstract machine
• From reduction-based to reduction-free normalization
• From reduction-based to reduction-free normalization
• scientific article; zbMATH DE number 7204429 (Why is no real title available?)
• Abstracting abstract machines
• Optimizing term rewriting with creeper trace transducers
• Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space

Describes a project that uses

Uses Software

• PLT Redex

This page was built for publication: From outermost reduction semantics to abstract machine

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