Semantics of Programming Languages
- 1 January 1969
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 32 references indexed in Scilit:
- The theory of languagesTheory of Computing Systems, 1968
- Algorithmic properties of structuresTheory of Computing Systems, 1967
- Panon-1B: A programming language for symbol manipulationCalcolo, 1966
- The Equivalence of Certain ComputationsThe Computer Journal, 1966
- Random-Access Stored-Program Machines, an Approach to Programming LanguagesJournal of the ACM, 1964
- N-Ary selection functions and formal selective systems. Part ICalcolo, 1964
- The Main Features of CPLThe Computer Journal, 1963
- A Set of Independent Axioms for Boolean AlgebraProceedings of the London Mathematical Society, 1963
- Funktionen‐Algorithmen und GraphschemataMathematical Logic Quarterly, 1961
- Funktionen‐AlgorithmenMathematical Logic Quarterly, 1961