Methods for specifying static semantics
- 31 December 1981
- journal article
- Published by Elsevier in Computer Languages
- Vol. 6 (1) , 1-17
- https://doi.org/10.1016/0096-0551(81)90045-x
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- A formal notation for specifying static semantic rulesComputer Languages, 1980
- A poor man's realization of attribute grammarsSoftware: Practice and Experience, 1979
- An all(1) compiler generatorACM SIGPLAN Notices, 1979
- Summary of the characteristics of several "modern" programming languagesACM SIGPLAN Notices, 1979
- An extended attribute grammar for PascalACM SIGPLAN Notices, 1979
- Static semantic features of ALGOL60 and BASICThe Computer Journal, 1978
- A Sampler of Formal DefinitionsACM Computing Surveys, 1976
- Production systemsCommunications of the ACM, 1974
- The Vienna Definition LanguageACM Computing Surveys, 1972
- Semantics of context-free languagesTheory of Computing Systems, 1968