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

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

This book is a detailed account of the Synthesizer Generator, a system for creating 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.

Author(s): Thomas W. Reps, Tim Teitelbaum
Series: Texts and Monographs in Computer Science
Publisher: Springer
Year: 1989

Language: English
Pages: 331
Tags: Software Engineering; Programming Languages, Compilers, Interpreters

Front Matter....Pages i-xiii
Introduction....Pages 1-19
Demonstration of a Sample Editor....Pages 20-38
The Attribute-Grammar Model of Editing....Pages 39-44
Specification of a Sample Editor....Pages 45-67
Lists, Optional Elements, and Placeholders....Pages 68-94
Defining Hybrid Editors with the Synthesizer Generator....Pages 95-142
Performing Static Inferences with Attributes....Pages 143-159
Practical Advice....Pages 160-194
Generating Code Using Attributes....Pages 195-209
Interactive Program Verification....Pages 210-230
The Implementation....Pages 231-245
Incremental Attribute Evaluation for Ordered Attribute Grammars....Pages 246-277
Back Matter....Pages 278-319