Read While You Wait - Get immediate ebook access, if available*, when you order a print book

Monographs in Computer Science Texts,Monographs Computer Science Reps,T.W.:Synthesizer Generator

The Synthesizer Generator Reference Manual

Authors: Reps, Thomas, Teitelbaum, Tim

Free Preview

Buy this book

eBook 96,29 €
price for Spain (gross)
  • ISBN 978-1-4613-9633-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 119,59 €
price for Spain (gross)
  • ISBN 978-0-387-96910-7
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

The Synthesizer Generator is a system for automating the implementation of language-based editing environments. The editor designer prepares a specification that includes rules defining a language's context-free abstract syn­ tax, context-sensitive relationships, display format, and concrete input syntax. From this specification, the Synthesizer Generator creates a display editor for manipulating objects according to these rules [Reps84]. This volume, The Synthesizer Generator Reference Manual, is intended as the defining document of the system. A companion volume, The Synthesizer Gen­ erator: A System for Constructing Language-Based Editors [Reps88], provides a more tutorial description of the system; it contains numerous examples that illustrate the specification and use of generated editors, as well as chapters that explain important algorithms of the implementation. The Synthesizer Generator is a generalization of our earlier system, the Cor­ nell Program Synthesizer [Teitelbaum81], which was a programming environ­ ment for a specific small dialect of PL/I. It featured a display-oriented, syntax­ directed editor, an incremental compiler, an execution supervisor supporting source-level debugging, and a file system containing syntactically typed pro­ gram fragments. Whereas PL/I was built into the Cornell Program Synthesizer, the Synthesizer Generator accepts a formal language definition as input. Although originally conceived as a tool for creating Synthesizer-like environments for arbitrary pro­ gramming languages, the Synthesizer Generator is more broadly useful. Any textual language with a hierarchical phrase structure grammar is a candidate. vi Preface Interactive theorem proving for formal mathematics and logic, for example, has emerged as a particularly suitable application.

Table of contents (5 chapters)

Table of contents (5 chapters)

Buy this book

eBook 96,29 €
price for Spain (gross)
  • ISBN 978-1-4613-9633-8
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 119,59 €
price for Spain (gross)
  • ISBN 978-0-387-96910-7
  • Free shipping for individuals worldwide
  • Immediate ebook access, if available*, with your print order
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
The Synthesizer Generator Reference Manual
Authors
Series Title
Monographs in Computer Science
Copyright
1989
Publisher
Springer-Verlag New York
Copyright Holder
Thomas W. Reps and Ray (Tim) Teitelbaum
eBook ISBN
978-1-4613-9633-8
DOI
10.1007/978-1-4613-9633-8
Softcover ISBN
978-0-387-96910-7
Series ISSN
0172-603X
Edition Number
3
Number of Pages
XI, 171
Additional Information
Originally published by the authors
Topics

*immediately available upon purchase as print book shipments may be delayed due to the COVID-19 crisis. ebook access is temporary and does not include ownership of the ebook. Only valid for books with an ebook version. Springer Reference Works are not included.