Title: Formalization and automatic derivation of code generators
Subjects: Code generators