Rule-based operational semantics for an imperative language

DOI10.1016/J.ENTCS.2006.10.023MaRDI QIDQ2864516zbMATH OpenOpenAlexFDO

Authors 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

programming languagesrewritingoperational semantics

Mathematics Subject Classification ID

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

Recommendations

• Coalgebraic operational semantics for an imperative language
• scientific article; zbMATH DE number 4050954
• Logic Programming
• Operational semantics for declarative multi-paradigm languages
• Rule-based languages
• An operational semantics for declarative multi-paradigm languages
• Publication:4945216
• Method of the development of ontological operational semantics for imperative programming languages
• Operational semantics for multi-language programs
• Formal foundations of operational semantics

Cites work

• scientific article; zbMATH DE number 1670740 (Why is no real title available?)
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 1948157 (Why is no real title available?)
• scientific article; zbMATH DE number 2090728 (Why is no real title available?)
• A structural approach to operational semantics
• From Natural Semantics to Abstract Machines
• From operational semantics to abstract machines
• Token-passing nets: call-by-need for free
• Typed Lambda Calculi and Applications
• Types and programing languages

Cited in

(2)

• An Institution for Imperative RSL Specifications
• Method of the development of ontological operational semantics for imperative programming languages

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)