The Synthesizer Generator
Subtitle: A System for Constructing Language-Based Editors
By: by Thomas W. Reps, Tim Teitelbaum
Contributors: Teitelbaum, Tim
Series: Texts and Monographs in Computer Science; Texts and monographs in computer science
Publisher: Springer New York
Published: 1989
Place of publication: New York, NY
Language: eng
Format: [electronic resource] :
Number of pages: 317
ISBN-13: 9781461396253; 9781461396239
Subjects: Computer science; Software engineering
Description: The Synthesizer Generator: A System for Constructing Language-Based Editors presents a detailed account of the Synthesizer Generator, a system for automating the construction of customized editors for particular languages. The unique feature of the Synthesizer Generator is its use of an immediate-computation paradigm to perform analysis, translation, and error reporting while an object is being edited. With the Synthesizer Generator one can create programming language environments that incrementally parse, type-check, and compile a program as it is interactively developed. The use of the system is not restricted to programming languages; editors for logics, specification languages, and verification languages can be created as well. The specification language of the Synthesizer Generator is based on the attribute-grammar concept, which plays a major role in the way compiler construction is taught today. For this reason, the Synthesizer Generator is ideal for use in course projects and should be of particular interest to those involved in compiler construction. The Synthesizer Generator is also intended for readers with an interest in software tools and methods for building interactive systems. More than just a user guide for the system, the book contains a wealth of material for those building specialized editors "by hand", without using an editor-generating tool; it discusses the issues that motivated the decisions made in the design of the system, as well as a number of the algorithms used in the system's implementation.
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.
Table of contents: title: Contents: Introduction; title: Demonstration of a Sample Editor; title: The Attribute-Grammar Model of Editing; title: Specification of a Sample Editor; title: Lists, Optional Elements, and Placeholders; title: Defining Hybrid Editors with the Synthesizer Generator; title: Performing Static Inferences with Attributes; title: Practical Advice; title: Generating Code Using Attributes; title: Interactive Program Verification; title: The Implementation; title: Incremental Attributive Evaluation for Ordered Attribute Grammars; title: Syntax of SSL; title: Invoking the Synthesizer Generator; title: Abbreviated List of Editor Commands; title: Keyboards, Displays, Window Systems, and Mice; title: Bibliography; title: Index.