Using rewriting techniques to produce code generators and proving them correct-Reference-Cited by-同舟云学术

Using rewriting techniques to produce code generators and proving them correct

Published:1990-11 Issue:1 Volume:15 Page:15-54
ISSN:0167-6423
Container-title:Science of Computer Programming
language:en
Short-container-title:Science of Computer Programming

Author:

Despland Annie,Mazaud Monique,Rakotozafy Raymond

Publisher

Elsevier BV

Subject

Software

Reference21 articles.

1. Efficient tree pattern matching: An aid to code generation;Aho;Conference Record Twelfth Annual ACM Symposium on Principles of Programming Languages,1985

2. How to make algebraic specifications more understandable: An experiment with the PLUSS specification language;Bidoit;Sci. Comput. Programming,1989

3. A survey and critique of some models of code generation;Cattell,1977

4. Automatic derivation of code generators from machine description;Cattell;ACM Trans. Programming Languages Syst.,1980

5. PERLUETTE: A compiler producing system using abstract data types;Deschamp;Proceedings International Symposium on Programming,1982

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Pagode: A back end generator;Lecture Notes in Computer Science;1993

2. PAGODE: A back end generator using attribute abstract syntaxes and term rewritings;Lecture Notes in Computer Science;1991

3. Application development with the FNC-2 attribute grammar system;Lecture Notes in Computer Science;1991

4. Design, implementation and evaluation of the FNC-2 attribute grammar system;ACM SIGPLAN Notices;1990-06

5. The OLGA attribute grammar description language: Design, implementation and evaluation;Lecture Notes in Computer Science;1990