Using rewriting techniques to produce code generators and proving them correct
- 30 November 1990
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 15 (1) , 15-54
- https://doi.org/10.1016/0167-6423(90)90043-d
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- How to make algebraic specifications more understandable: An experiment with the pluss specification languageScience of Computer Programming, 1989
- Perluette : A compilers producing system using abstract data typesPublished by Springer Nature ,1982
- Automatic Derivation of Code Generators from Machine DescriptionsACM Transactions on Programming Languages and Systems, 1980