Deriving Pretty-Big-Step Semantics from Small-Step Semantics

DOI10.1007/978-3-642-54833-8_15zbMath1405.68173OpenAlexW2169488840WikidataQ57783377 ScholiaQ57783377MaRDI QIDQ5410704

Casper Bach Poulsen, Peter D. Mosses

Publication date: 16 April 2014

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-54833-8_15

zbMATH Keywords

structural operational semanticsrefocusingSOSbig-step semanticsnatural semanticssmall-step semanticsmodular SOSpretty-big-step semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (3)

Generating Specialized Interpreters for Modular Structural Operational Semantics ⋮ Flag-based big-step semantics ⋮ System description: lang-n-change -- a tool for transforming languages

This page was built for publication: Deriving Pretty-Big-Step Semantics from Small-Step Semantics