Operational semantics: concepts and their expression

DOI10.1016/S0020-0190(03)00383-1zbMath1178.68329OpenAlexW2000457893MaRDI QIDQ1028973

Cliff B. Jones

Publication date: 9 July 2009

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(03)00383-1

zbMATH Keywords

formal semanticsoperational semanticsprogramming languages

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (max. 100)

Splitting atoms safely ⋮ Structural operational semantics through context-dependent behaviour ⋮ An operational semantics for object-oriented concepts based on the class hierarchy

Uses Software

• ALGOL 60

Cites Work

• The Vienna development method: The meta-language
• Symposium on semantics of algorithmic languages
• Formal Semantics of Programming Languages: VDL
• Action Semantics
• A Powerdomain Construction
• Semantics of context-free languages
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Operational semantics: concepts and their expression