Big-step Operational Semantics Revisited
From MaRDI portal
Publication:3000281
DOI10.3233/FI-2010-323zbMath1217.68136OpenAlexW1731971745MaRDI QIDQ3000281
Jarosław Dominik Mateusz Kuśmierek, Viviana Bono
Publication date: 18 May 2011
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2010-323
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (1)
This page was built for publication: Big-step Operational Semantics Revisited
