Skip to main content
SpringerLink
Log in

Operational ontological approach to formal programming language specification

  • Published:
Programming and Computer Software Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Plotkin, G.D., A Structural Approach to Operational Semantics, Tech. Rep. DAIMI FN-19, Computer Science Department, Aarhus University, Aarhus, Denmark, 1981.

    Google Scholar 

  2. Gurevich, Y., Abstract State Machines: An Overview of the Project in “Foundations of Information and Knowledge Systems,” Lecture Notes Comput. Sci., 2004, vol. 2942, pp. 6–13.

    Google Scholar 

  3. Gurevich, Y., Evolving Algebras 1993: Lipari Guide, in: Specification and Validation Methods, New York: Oxford University Press, 1995, pp. 9–36.

    Google Scholar 

  4. Anureev, I.S., Ontological Transition Systems, Joint NCC&IIS Bull. Ser. Comput. Sci., 2007, vol. 26, pp. 1–17.

    Google Scholar 

  5. Anureev, I.S., A Language of Actions in Ontological Transition Systems, Joint NCC&IIS Bull. Ser. Comput. Sci., 2007, vol. 26, pp. 19–38.

    Google Scholar 

  6. Nepomniaschy, V.A., Anureev, I.S., and Promskii, A.V., Towards Verification of C Programs: Axiomatic Semantics of the C-kernel Language, Programmirovanie, 2003, vol. 29, no. 6, pp. 5–15 [Programming Comput. Software (Engl. Trasl.), 2003, vol. 29, no. 6, pp. 338–350].

    Google Scholar 

  7. Nepomniaschy, V.A., Anureev, I.S., Dubranovskii, I.V., and Promskii, A.V., Towards Verification of C# Programs: A Three-Level Approach, Programmirovanie, 2006, vol. 32, no. 4, pp. 4–20 [Programming Comput. Software (Engl. Trasl.), 2006, vol. 32, no. 4, pp. 190–202].

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Ershov Institute of Information Systems, Siberian Branch, Russian Academy of Sciences, pr. Akademika Lavrent’eva 6, Novosibirsk, 630090, Russia

    I. S. Anureev

Authors
  1. I. S. Anureev
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to I. S. Anureev.

Additional information

Original Russian Text © I.S. Anureev, 2009, published in Programmirovanie, 2009, Vol. 35, No. 1.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Anureev, I.S. Operational ontological approach to formal programming language specification. Program Comput Soft 35, 35–42 (2009). https://doi.org/10.1134/S0361768809010058

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0361768809010058

Keywords

Search

Navigation