Operational ontological approach to formal programming language specification

DOI10.1134/S0361768809010058MaRDI QIDQ840084zbMATH OpenFDO

Authors Igor S. Anureev

Publication date 4 September 2009

Published in Programming and Computer Software (Search for Journal in Brave)

zbMATH Keywords

ontological transition systemsoperational ontological semantics of programming languages

Mathematics Subject Classification ID

Theory of software (68N99) Abstract data types; algebraic specification (68Q65)

Recommendations

• Method of the development of ontological operational semantics for imperative programming languages
• Operational semantics development for procedural programming languages based on conceptual transition systems
• scientific article; zbMATH DE number 1543051
• scientific article; zbMATH DE number 1481757
• scientific article; zbMATH DE number 1262881

Cites work

• A language of actions in ontological transition systems
• Evolving Algebras 1993: Lipari Guide
• Foundations of Information and Knowledge Systems
• Ontological transition systems structures
• Towards verification of C programs: Axiomatic semantics of the C-kernel language

Cited in

(10)

• Denotational semantics of a user-oriented, domain-specific language
• scientific article; zbMATH DE number 44613 (Why is no real title available?)
• scientific article; zbMATH DE number 58286 (Why is no real title available?)
• Domain-specific transition systems and their application to a formal definition of a model programming language
• Operational semantics development for procedural programming languages based on conceptual transition systems
• The overlanguage method for program specification
• OTSL
• scientific article; zbMATH DE number 4157861 (Why is no real title available?)
• Method of the development of ontological operational semantics for imperative programming languages
• scientific article; zbMATH DE number 1543051 (Why is no real title available?)

This page was built for publication: Operational ontological approach to formal programming language specification

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