Operational ontological approach to formal programming language specification

DOI10.1134/S0361768809010058zbMATH Open1185.68428MaRDI QIDQ840084FDOQ840084

Authors: Igor S. Anureev 

Publication date: 4 September 2009

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

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

zbMATH Keywords

ontological transition systemsoperational ontological semantics of programming languages

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (10)

• Denotational semantics of a user-oriented, domain-specific language
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• OTSL
• Method of the development of ontological operational semantics for imperative programming languages
• Title not available (Why is that?)

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)