Rule-based operational semantics for an imperative language
DOI10.1016/J.ENTCS.2006.10.023zbMATH Open1277.68044OpenAlexW2013028647MaRDI QIDQ2864516FDOQ2864516
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
Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)
Cites Work
- A structural approach to operational semantics
- Title not available (Why is that?)
- Types and programing languages
- Title not available (Why is that?)
- Title not available (Why is that?)
- From operational semantics to abstract machines
- From Natural Semantics to Abstract Machines
- Title not available (Why is that?)
- Typed Lambda Calculi and Applications
- Token-passing nets: call-by-need for free
Cited In (1)
Recommendations
- Coalgebraic operational semantics for an imperative language 👍 👎
- Title not available (Why is that?) 👍 👎
- Logic Programming 👍 👎
- Operational semantics for declarative multi-paradigm languages 👍 👎
- Rule-based languages 👍 👎
- An operational semantics for declarative multi-paradigm languages 👍 👎
- Title not available (Why is that?) 👍 👎
- Title not available (Why is that?) 👍 👎
- Operational semantics for multi-language programs 👍 👎
- Formal foundations of operational semantics 👍 👎
This page was built for publication: Rule-based operational semantics for an imperative language
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2864516)
