Operational ontological approach to formal programming language specification

Authors:
I. S. Anureev
Affiliations:
Ershov Institute of Information Systems, Siberian Branch, Russian Academy of Sciences, Novosibirsk, Russia 630090
Venue:
Programming and Computing Software
Year:
2009

Citing 3
Cited 0

Evolving algebras 1993: Lipari guide

Specification and validation methods
Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language

Programming and Computing Software
Towards verification of C# programs: A three-level approach

Programming and Computing Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

Development of formal programming language specifications is an important problem of theoretical and practical programming. The paper presents operational ontological approach to formal specification of programming languages. It defines formalism for introduction of operational ontological semantics of programming languages: ontological transition systems, description language for ontological transition systems (OTSL), and methodology of applying the OTSL to the development of formal specifications of programming languages.