The Synthesizer Generator

1. Front Matter

   Pages i-xiii

   PDF

2. Introduction

   • Thomas W. Reps, Tim Teitelbaum

   Pages 1-19

3. Demonstration of a Sample Editor

   • Thomas W. Reps, Tim Teitelbaum

   Pages 20-38

4. The Attribute-Grammar Model of Editing

   • Thomas W. Reps, Tim Teitelbaum

   Pages 39-44

5. Specification of a Sample Editor

   • Thomas W. Reps, Tim Teitelbaum

   Pages 45-67

6. Lists, Optional Elements, and Placeholders

   • Thomas W. Reps, Tim Teitelbaum

   Pages 68-94

7. Defining Hybrid Editors with the Synthesizer Generator

   • Thomas W. Reps, Tim Teitelbaum

   Pages 95-142

8. Performing Static Inferences with Attributes

   • Thomas W. Reps, Tim Teitelbaum

   Pages 143-159

9. Practical Advice

   • Thomas W. Reps, Tim Teitelbaum

   Pages 160-194

10. Generating Code Using Attributes

    • Thomas W. Reps, Tim Teitelbaum

    Pages 195-209

11. Interactive Program Verification

    • Thomas W. Reps, Tim Teitelbaum

    Pages 210-230

12. The Implementation

    • Thomas W. Reps, Tim Teitelbaum

    Pages 231-245

13. Incremental Attribute Evaluation for Ordered Attribute Grammars

    • Thomas W. Reps, Tim Teitelbaum

    Pages 246-277

14. Back Matter

    Pages 278-319

    PDF

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.

• Ada
• C programming language
• algorithms
• design
• programming
• programming language
• selection
• testing
• verification

• Computer Sciences Department, University of Wisconsin, Madison, Madison, USA

  Thomas W. Reps

• Department of Computer Science, Cornell University, Ithaca, USA

  Tim Teitelbaum

Policies and ethics