The Synthesizer Generator/A System for Constructing Language-Based Editors

Tim Teitelbaum Thomas W. Reps

ISBN 10: 0387968571 / ISBN 13: 9780387968575

Editore: Springer, 1989

Riguardo questo articolo

Codice articolo 263125574

Dati bibliografici

• Titolo: The Synthesizer Generator/A System for Constructing Language-Based Editors
• Editore: Springer
• Data di pubblicazione: 1989
• Lingua: Inglese
• ISBN 10: 0387968571
• ISBN 13: 9780387968575
• Rilegatura: Rilegato
• Condizione: New

Descrizione articolo

Riassunto

This book is a detailed account of the Synthesizer Generator, a system for creat­ ing specialized editors that are customized for editing particular languages. The book is intended for those with an interest in software tools and in methods for building interactive systems. It is a must for people who are using the Syn­ thesizer Generator to build editors because it provides extensive discussions of how to write editor specifications. The book should also be valuable for people who are building specialized editors "by hand," without using an editor­ generating tool. The need to manage the development of large software systems is one of the most pressing problems faced by computer programmers. An important aspect of this problem is the design of new tools to aid interactive program develop­ ment. The Synthesizer Generator permits one to create specialized editors that are tailored for editing a particular language. In program editors built with the Synthesizer Generator, knowledge about the language is used to continuously assess whether a program contains errors and to determine where such errors occur. The information is then displayed on the terminal screen to provide feed­ back to the programmer as the program is developed and modified.

Contenuti

Contents: 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.