Language definition-based compiler development
Author:
- 26 June 1987
- journal article
- Published by Elsevier in Journal of Systems and Software
- Vol. 7 (2) , 145-161
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- A System for Assisting Program TransformationACM Transactions on Programming Languages and Systems, 1982
- Compiler Specification and Verification1981
- An extended attribute grammar for PascalACM SIGPLAN Notices, 1979
- Proof rules for the programming language EuclidActa Informatica, 1978
- Report on the programming language EuclidACM SIGPLAN Notices, 1977
- Program Improvement by Source-to-Source TransformationJournal of the ACM, 1977
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- PASCAL User Manual and Report1974
- An axiomatic definition of the programming language PASCALActa Informatica, 1973