This is a preview of subscription content, log in to check access.
Buy single article
Instant access to the full article PDF.
Price includes VAT for USA
Subscribe to journal
Immediate online access to all issues from 2019. Subscription will auto renew annually.
This is the net price. Taxes to be calculated in checkout.
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).
Central Computing Institute, Leiden, The Netherlands. Published in Kibernetika, No. 4, pp. 36–47, 1975.
About this article
Cite this article
Ollongren, A. Formal semantics. Cybern Syst Anal 11, 550–563 (1975). https://doi.org/10.1007/BF01070434
- Operating System
- Artificial Intelligence
- System Theory
- Formal Semantic