Understanding Programming Language Concepts Via Operational Semantics

DOI10.1007/978-3-540-74964-6_4MaRDI QIDQ3525020zbMATH OpenOpenAlexFDO

Authors Cliff B. Jones

Publication date 16 September 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74964-6_4

Mathematics Subject Classification ID

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

Recommendations

• A structural approach to operational semantics
• Programming languages and operational semantics. An introduction.
• Programming languages and operational semantics. A concise overview
• Operational semantics development for procedural programming languages based on conceptual transition systems
• scientific article; zbMATH DE number 4047058

Cited in

(5)

• Modelling and analysing neural networks using a hybrid process algebra
• Operational semantics development for procedural programming languages based on conceptual transition systems
• Method of the development of ontological operational semantics for imperative programming languages
• 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

• csp2B

This page was built for publication: Understanding Programming Language Concepts Via Operational Semantics

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