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

Inhaltsverzeichnis

• 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.
• List of Editor Commands.
• Demonstration Editors.