Rule-Based Operational Semantics for an Imperative Language

DOI10.1016/j.entcs.2006.10.023zbMath1277.68044OpenAlexW2013028647MaRDI QIDQ2864516

Florent Kirchner, François-Régis Sinot

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.10.023

zbMATH Keywords

operational semanticsprogramming languagesrewriting

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A structural approach to operational semantics
• From operational semantics to abstract machines
• From Natural Semantics to Abstract Machines
• Typed Lambda Calculi and Applications

This page was built for publication: Rule-Based Operational Semantics for an Imperative Language