Executable semantic descriptions
- 1 January 1986
- journal article
- research article
- Published by Wiley in Software: Practice and Experience
- Vol. 16 (1) , 13-43
- https://doi.org/10.1002/spe.4380160104
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Control Flow Aspects of Semantics-Directed CompilingACM Transactions on Programming Languages and Systems, 1983
- Programming Denotational SemanticsThe Computer Journal, 1983
- A truly generative semantics-directed compiler generatorACM SIGPLAN Notices, 1982
- A semantic algebra for binding constructsPublished by Springer Nature ,1981
- Compiler generation from denotational semanticsPublished by Springer Nature ,1980
- The Denotational Description of Programming LanguagesPublished by Springer Nature ,1979
- ALGOL 68 as a metalanguage for denotational semanticsThe Computer Journal, 1979
- An axiomatic definition of the programming language PASCALActa Informatica, 1973
- An axiomatic basis for computer programmingCommunications of the ACM, 1969