Springer Nature is making SARS-CoV-2 and COVID-19 research free. View research | View latest news | Sign up for updates

Formal semantics

  • 20 Accesses

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

Literature Cited

  1. 1.

    A. Ollongren, Definition of Programming Languages by Interpreting Automata, Academic Press, London (1974).

  2. 2.

    J. A. N. Lee, Computer Semantics, Van Nostrand Reinhold Co. Ltd., New York (1972).

  3. 3.

    N. Chomsky, “Formal properties of grammars,” Cybernetics Collection [Russian translation], No. 2, IL, Moscow (1966).

  4. 4.

    P. Lucas and K. Walk 1969, “On the formal description of PL/I,” Ann. Rev. Automatic Programming,6, Part 3, 105–182 (1969).

  5. 5.

    J. McCarthy, “A basis for a mathematical theory of computation,” in: Computer Programming and Formal Systems, (P. Braffort and D. Hirschberg, eds.) North Holland Publishing Comp., Amsterdam (1963), pp. 33–70.

  6. 6.

    J. E. Hopcroft and J. D. Ullman, Formal Languages and Their Relation to Automata, Addison-Wesley Publishing Comp., London (1969).

  7. 7.

    P. Lucas, “Two constructive realizations of the block concept and their equivalence,” Technical Report 25.085, IBM Laboratory, Vienna (1968).

  8. 8.

    E. W. Dijkstra, “Recursive programming,” Numerische Mathematik2, 312–318 (1960).

Download references

Additional information

Central Computing Institute, Leiden, The Netherlands. Published in Kibernetika, No. 4, pp. 36–47, 1975.

Rights and permissions

Reprints and Permissions

About this article

Cite this article

Ollongren, A. Formal semantics. Cybern Syst Anal 11, 550–563 (1975). https://doi.org/10.1007/BF01070434

Download citation


  • Operating System
  • Artificial Intelligence
  • System Theory
  • Formal Semantic