Literature Cited
A. Ollongren, Definition of Programming Languages by Interpreting Automata, Academic Press, London (1974).
J. A. N. Lee, Computer Semantics, Van Nostrand Reinhold Co. Ltd., New York (1972).
N. Chomsky, “Formal properties of grammars,” Cybernetics Collection [Russian translation], No. 2, IL, Moscow (1966).
P. Lucas and K. Walk 1969, “On the formal description of PL/I,” Ann. Rev. Automatic Programming,6, Part 3, 105–182 (1969).
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.
J. E. Hopcroft and J. D. Ullman, Formal Languages and Their Relation to Automata, Addison-Wesley Publishing Comp., London (1969).
P. Lucas, “Two constructive realizations of the block concept and their equivalence,” Technical Report 25.085, IBM Laboratory, Vienna (1968).
E. W. Dijkstra, “Recursive programming,” Numerische Mathematik2, 312–318 (1960).
Additional information
Central Computing Institute, Leiden, The Netherlands. Published in Kibernetika, No. 4, pp. 36–47, 1975.
Rights 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
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01070434