Operational semantics development for procedural programming languages based on conceptual transition systems

MaRDI QIDQ2979881zbMATH OpenFDO

Authors Igor S. Anureev

Publication date 26 April 2017

Full work available at URL http://bulletin.iis.nsk.su/files/article/anureev_bulleten_2015.pdf

zbMATH Keywords

conceptual transition systemconceptualsCTSLMPLoperational ontological approachoperational semanticsprocedural programming language

Mathematics Subject Classification ID

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

Recommendations

• Method of the development of ontological operational semantics for imperative programming languages
• Operational ontological approach to formal programming language specification
• A structural approach to operational semantics
• Understanding Programming Language Concepts Via Operational Semantics
• New approach to categorical semantics for procedural languages

Cited in

(4)

• Understanding Programming Language Concepts Via Operational Semantics
• Method of the development of ontological operational semantics for imperative programming languages
• Structural operational semantics through context-dependent behaviour
• Operational ontological approach to formal programming language specification

This page was built for publication: Operational semantics development for procedural programming languages based on conceptual transition systems

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