The Synthesizer Generator

A System for Constructing Language-Based Editors

  • Thomas W. Reps
  • Tim Teitelbaum

Part of the Texts and Monographs in Computer Science book series (MCS)

Table of contents

  1. Front Matter
    Pages i-xiii
  2. Thomas W. Reps, Tim Teitelbaum
    Pages 1-19
  3. Thomas W. Reps, Tim Teitelbaum
    Pages 20-38
  4. Thomas W. Reps, Tim Teitelbaum
    Pages 39-44
  5. Thomas W. Reps, Tim Teitelbaum
    Pages 45-67
  6. Thomas W. Reps, Tim Teitelbaum
    Pages 68-94
  7. Thomas W. Reps, Tim Teitelbaum
    Pages 95-142
  8. Thomas W. Reps, Tim Teitelbaum
    Pages 143-159
  9. Thomas W. Reps, Tim Teitelbaum
    Pages 160-194
  10. Thomas W. Reps, Tim Teitelbaum
    Pages 195-209
  11. Thomas W. Reps, Tim Teitelbaum
    Pages 210-230
  12. Thomas W. Reps, Tim Teitelbaum
    Pages 231-245
  13. Thomas W. Reps, Tim Teitelbaum
    Pages 246-277
  14. Back Matter
    Pages 278-319

About this book

Introduction

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.

Keywords

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

Authors and affiliations

  • Thomas W. Reps
    • 1
  • Tim Teitelbaum
    • 2
  1. 1.Computer Sciences DepartmentUniversity of Wisconsin, MadisonMadisonUSA
  2. 2.Department of Computer ScienceCornell UniversityIthacaUSA

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4613-9623-9
  • Copyright Information Springer-Verlag New York 1989
  • Publisher Name Springer, New York, NY
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-4613-9625-3
  • Online ISBN 978-1-4613-9623-9
  • Series Print ISSN 0172-603X
  • About this book