A comparison of big-step semantics definition styles

MaRDI QIDQ6654401FDOQ6654401

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)

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50)

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)