A Sampler of Formal Definitions
- 1 June 1976
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Computing Surveys
- Vol. 8 (2) , 191-276
- https://doi.org/10.1145/356669.356672
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- The denotational semantics of programming languagesCommunications of the ACM, 1976
- Semantic evaluation from left to rightCommunications of the ACM, 1976
- Production systemsCommunications of the ACM, 1974
- Generating parsers for affix grammarsCommunications of the ACM, 1972
- The Vienna Definition LanguageACM Computing Surveys, 1972
- Properties of Programs and the First-Order Predicate CalculusJournal of the ACM, 1969
- Semantics of context-free languagesTheory of Computing Systems, 1968
- A correspondence between ALGOL 60 and Church's Lambda-notationsCommunications of the ACM, 1965
- Random-Access Stored-Program Machines, an Approach to Programming LanguagesJournal of the ACM, 1964
- Formal Reductions of the General Combinatorial Decision ProblemAmerican Journal of Mathematics, 1943