Using rewriting techniques to produce code generators and proving them correct

• Authors:

• Annie Despland;Monique Mazaud;Raymond Rakotozafy

• Affiliations:

• -;-;-

• Venue:
• Science of Computer Programming
• Year:
• 1990