Correctness proofs of syntax-directed processing descriptions by attributes
- 1 August 1979
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 19 (1) , 1-17
- https://doi.org/10.1016/0022-0000(79)90009-6
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Automatic generation of efficient evaluators for attribute grammarsPublished by Association for Computing Machinery (ACM) ,1976
- An approach to compiler correctnessACM SIGPLAN Notices, 1975
- Semantics of context-free languagesTheory of Computing Systems, 1968