A comparison of big-step semantics definition styles

MaRDI QIDQ6654401zbMATH OpenFDO

Authors Péter Bereczky, Dániel Horpácsi, Simon Thompson

Publication date 18 December 2024

Published in Annales Universitatis Scientiarum Budapestinensis de Rolando Eötvös Nominatae. Sectio Computatorica (Search for Journal in Brave)

zbMATH Keywords

formal semanticsnatural semanticspretty-big-step semanticsCoq.functional big-step semantics

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50)

Recommendations

• Pretty-big-step semantics
• Deriving Pretty-Big-Step Semantics from Small-Step Semantics
• scientific article; zbMATH DE number 1951197
• One step at a time. A functional derivation of small-step evaluators from big-step counterparts
• Big-step operational semantics revisited

This page was built for publication: A comparison of big-step semantics definition styles

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