SEMANOL (73) a metalanguage for programming the semantics of programming languages
- 1 January 1976
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 6 (2) , 109-131
- https://doi.org/10.1007/bf00268496
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- The composition of semantics in Algol 68Communications of the ACM, 1971
- The formal description of programming languagesIBM Systems Journal, 1971
- An Algorithmic Semantics for ALGOL 60 Identifier DenotationJournal of the ACM, 1970
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Towards a theory of semantics and compilers for programming languagesJournal of Computer and System Sciences, 1969
- The correctness of programsJournal of Computer and System Sciences, 1969
- Semantics of context-free languagesTheory of Computing Systems, 1968
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967
- Correspondence between ALGOL 60 and Church's Lambda-notationCommunications of the ACM, 1965