The Synthesizer Generator and The Synthesizer Generator Reference Manual (2-volume set)

Contents: The Synthesizer Generator: Introduction.- Demonstration of a Sample Editor.- The Attribute-Grammar Model of Editing.- Specification of a Sample Editor.- Lists, Optional Elements, and Placeholders.- Defining Hybrid Editors with the Synthesizer Generator.- Performing Static Inferences with Attributes.- Practical Advice.- Generating Code Using Attributes.- Interactive Program Verification.- The Implementation.- Incremental Attributive Evaluation for Ordered Attribute Grammars.- Syntax of SSL.- Invoking the Synthesizer Generator.- Abbreviated List of Editor Commands.- Keyboards, Displays, Window Systems, and Mice.- Bibliography.- Index. The Synthesizer Generator Reference Manual: Introduction.- Specifying an Editor.- Using an Editor.- The SSL Debugger.- Interface to C.- Appendices.- A Sample Specification.- Invoking the Synthesizer Generator.- List of Editor Commands.- Keyboards, Displays, Window Systems, and Mice.- Demonstration Editors.- Syntax of SSL.