Pretty-Big-Step Semantics

DOI10.1007/978-3-642-37036-6_3zbMath1381.68138OpenAlexW203501420MaRDI QIDQ5326276

Arthur Charguéraud

Publication date: 5 August 2013

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

Full work available at URL: https://doi.org/10.1007/978-3-642-37036-6_3

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (4)

Soundness Conditions for Big-Step Semantics ⋮ Generating Specialized Interpreters for Modular Structural Operational Semantics ⋮ Characteristic formulae for liveness properties of non-terminating CakeML programs ⋮ Flag-based big-step semantics

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