Metalanguage for formal definition of semantics of programming languages

  • I. V. Vel'bitskiy
Part of the Lecture Notes in Computer Science book series (LNCS, volume 47)


A notion of language semantics is introduced and a problem of its formal definition is determined. A metalanguage is suggested for formal description of semantics of contemporary programming systems. The metalanguage is based on the development of the notion of memory in the known metalanguage of pushdown acceptors and in syntactic R-metalanguage. New abstract memories are introduced and determined: wagon, register and table memories. The technique of using new metalanguage is illustrated. It is noted that the formal description of the language semantics is unseparable from the description of its syntax and increase it not very much, on the average, by 1,5-2 times. Characteristics are given of a formal description of syntax and semantics of ALGOL-60. A general technological scheme of using the semantic R-metalanguage in systems of algorithmic language realization is suggested.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    A.P.ERSHOV, Technology of Programming System Development, Collection "System and Theoretical Programming", Novosibirsk, 1972.Google Scholar
  2. [2]
    V.M.GLUSHKOV (ed), Encyclopedia of Cybernetics, Kiev, 1974.Google Scholar
  3. [3]
    A.V. GLADKIY, I.A. MEL'CHUK, Elements of Mathematical Linguistics, Nauka, Moscow, 1969.Google Scholar
  4. [4]
    V.M.GLUSHKOV, On Simple Algorithms of Analysis and Synthesis of Push-Down Automata, J."Kibernetika", Kiev, No.5, 1968.Google Scholar
  5. [5]
    V.M.GLUSHKOV, I.V.VEL'BITSKIY, A.A.STOGNIY, One Approach to Designing System Software of Modern Computers, J."Kibernetika", Kiev, No.3, 1972.Google Scholar
  6. [6]
    I.V.VEL'BITSKIY, K.L.YUSHCHENKO, A Syntactic Analysis and Check-Oriented Metalanguage, J."Kibernetika", Kiev, No.2, 1970.Google Scholar
  7. [7]
    I.V.VEL'BITSKIY, Metalanguage of R-grammars, J."Kibernetika", Kiev, No.3, 1973.Google Scholar
  8. [8]
    A.A.LETICHEVSKIY, Syntax and Semantics of Formal Languages, J."Kibernetika", Kiev, No.4, 1968.Google Scholar
  9. [9]
    J.FELDMAN, D.GRIES, Translator Writing System, Comm.ACM 11, No.2, 1968.Google Scholar
  10. [10]
    P.LUCAS, P.LAUER, H.STIGLEITNER, Method and Notation for the Formal Definition of Programming Languages, Technical Report TR25.087, IBM Laboratory Vienna, 1968.Google Scholar
  11. [11]
    C.A.R.HOARE, P.E.LAUER, Consistent and Complementary Formal Theories of the Semantics of Programming Languages, Acta Informatica, No.3, 1974.Google Scholar
  12. [12]
    P.NAUR (ed.), Revised Report on the Algorithmic Language ALGOL-60, Comm.ACM 6, No.1, 1963.Google Scholar
  13. [13]
    E.T.IRONS, A Syntax Directed Compiler for ALGOL-60, Comm.ACM 4, No.1, 1961.Google Scholar
  14. [14]
    O.J. DAHL, E.W. DIJKSTRA, C.A.R. HOARE, Structured Programming, Academic Press, London and New York, 1972.Google Scholar
  15. [15]
    I.V.VEL'BITSKIY, Technology of Program Production on R-Metalanguage Basis, Collection "System and Theoretical Programming", Vol.1, Kishinev, 1974.Google Scholar
  16. [16]
    V.M.GLUSHKOV, Yu.V.KAPITONOVA, A.A.LETICHEVSKIY, Software of an Automated System for Designing Computers and Computing Systems (DESIGN), J."Kibernetika", Kiev, No.4, 1970.Google Scholar
  17. [17]
    N.N.GOVORUN et al., Monitor System DUBNA for BESM-6 Computer, Proceedings of the 2nd All-Union Conference on Programming, Novosibirsk, 1970.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • I. V. Vel'bitskiy
    • 1
  1. 1.Institute of CyberneticsUkrainian Academy of SciencesKiev 127USSR

Personalised recommendations