Synthesizer Generator Reference Manual - Tim Teitelbaum

The Synthesizer Generator is a system for automating the implementation of language-based editing environments. The Synthesizer Generator is a generalization of our earlier system, the Cor nell Program Synthesizer [Teitelbaum81], which was a programming environ ment for a specific small dialect of PL/I.