Generating Specialized Interpreters for Modular Structural Operational Semantics

DOI10.1007/978-3-319-14125-1_13zbMath1453.68040OpenAlexW1933696546WikidataQ57783385 ScholiaQ57783385MaRDI QIDQ3453654

Peter D. Mosses, Casper Bach Poulsen

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_13

zbMATH Keywords

structural operational semanticspartial evaluationspecializationprogram derivationrefocusingmodular SOSinterpreter generation

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

Related Items (1)

Flag-based big-step semantics

Uses Software

• Maude
• MMT

Cites Work

• Modular structural operational semantics
• A structural approach to operational semantics
• Implicit Propagation in Structural Operational Semantics
• Pragmatics of Modular SOS
• From Reduction-Based to Reduction-Free Normalization
• Partial evaluation in logic programming
• Offline specialisation in Prolog using a hand-written compiler generator
• Modular Bisimulation Theory for Computations and Values
• Pretty-Big-Step Semantics
• Deriving Pretty-Big-Step Semantics from Small-Step Semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Generating Specialized Interpreters for Modular Structural Operational Semantics