Operational semantics: concepts and their expression

DOI10.1016/S0020-0190(03)00383-1MaRDI QIDQ1028973zbMATH OpenOpenAlexFDO

Authors 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

programming languagesformal semanticsoperational semantics

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3177072 (Why is no real title available?)
• scientific article; zbMATH DE number 3793435 (Why is no real title available?)
• scientific article; zbMATH DE number 3453126 (Why is no real title available?)
• scientific article; zbMATH DE number 3244305 (Why is no real title available?)
• scientific article; zbMATH DE number 3295765 (Why is no real title available?)
• scientific article; zbMATH DE number 3346088 (Why is no real title available?)
• scientific article; zbMATH DE number 3351183 (Why is no real title available?)
• scientific article; zbMATH DE number 3351185 (Why is no real title available?)
• A Powerdomain Construction
• Action Semantics
• Formal Semantics of Programming Languages: VDL
• Semantics of context-free languages
• Symposium on semantics of algorithmic languages
• The Vienna development method: The meta-language
• The transition from VDL to VDM

Cited in

(3)

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

Describes a project that uses

Uses Software

• ALGOL 60

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1028973)