Del i serien Monographs in Computer Science

Synthesizer Generator

A System for Constructing Language-Based Editors

Häftad, Engelska, 2011

749 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2011-12-14
Mått155 x 235 x 19 mm
Vikt511 g
FormatHäftad
SpråkEngelska
SerieMonographs in Computer Science
Antal sidor317
FörlagSpringer-Verlag New York Inc.
ISBN9781461396253

Tillhör följande kategorier

Programvaruutveckling inom Data och it
Programmeringsböcker inom Data och it

1 Introduction.- 1.1 Using Structure Editing to Ensure that Programs Are Syntactically Correct.- 1.2 Using Immediate Computation to Locate Errors in Programs.- 1.3 Using Incremental Code Generation to Support Program Testing.- 1.4 Supporting Program-Development Methodologies.- 1.5 The Need for Incremental Algorithms.- 1.6 Adapting Specifications for Immediate Computation.- 1.7 Generating Language-Based Programming Environments.- 1.8 The Synthesizer Generator.- 2 Demonstration of a Sample Editor.- 3 The Attribute-Grammar Model of Editing.- 4 Specification of a Sample Editor.- 4.1 Abstract Syntax.- 4.2 Attributes and Attribute Equations.- 4.3 Unparsing Schemes.- 4.4 Input Interfaces.- 4.5 Templates and Transformations.- 5 Lists, Optional Elements, and Placeholders.- 5.1 Transient Placeholders.- 5.2 Specifying Lists and Optional Elements in SSL.- 5.3 Sublist Manipulations.- 5.4 Selections of Singleton Sublists Versus Selections of List Elements.- 5.5 Parsing Lists.- 5.6 Attribution Rules for a List’s Completing Term and Placeholder Term.- 6 Defining Hybrid Editors with the Synthesizer Generator.- 6.1 Defining a Language’s Underlying Abstract Syntax.- 6.2 Integration of Text Editing and Structure Editing.- 6.3 Defining Computed Display Representations.- 6.4 Context-Sensitive Translations and Transformations.- 7 Performing Static Inferences with Attributes.- 7.1 Aggregation and Information-Passing Strategies.- 7.2 Using the Attribution Mechanism to Perform Type Inference.- 8 Practical Advice.- 8.1 How to Begin Developing an Editor.- 8.2 Modular Construction of Editor Specifications.- 8.3 Problems That Frequently Arise.- 9 Generating Code Using Attributes.- 9.1 Approaches to Incremental Recompilation.- 9.2 Incremental Recompilation Using Attributes.- 10 InteractiveProgram Verification.- 10.1 An Introductory Example.- 10.2 Generating Verification Conditions.- 10.3 Checking Proofs of Verification Conditions.- 10.4 Automatic Deductive Capabilities.- 11 The Implementation.- 11.1 Basic Organization of the Implementation.- 11.2 Finiteness of Completing Terms.- 11.3 Generating Copy Rules for Upward Remote Attribute Sets.- 11.4 Deferred Reference Counting.- 12 Incremental Attribute Evaluation for Ordered Attribute Grammars.- 12.1 Greedy Evaluation.- 12.2 Distributed-Control Evaluation.- 12.3 Evaluation of Ordered Attribute Grammars by Visit-Sequence Evaluators.- 12.4 Construction of a Visit-Sequence Evaluator.- 12.5 Incremental Updating by Visit-Sequence-Driven Change Propagation.- 12.6 Optimizations for One-to-One Functions.- 12.7 What to Do When a Grammar Fails the Orderedness Test.- Appendix A Syntax of SSL.- Appendix B Invoking the Synthesizer Generator.- Appendix C Abbreviated List of Editor Commands.- C.1 Getting Into and Out of an Editor.- C.2 Changing the Structural Selection by Traversal of the Abstract Syntax Tree.- C.3 Executing Commands.- C.4 Structural Editing.- C.5 Moving the Object with Respect to the Window.- C.6 Using the Locator.- C.7 Textual Editing.- C.8 Changing the Character Selection by Textual Traversal of the Text Buffer.- C.9 Buffers, Selections, and Files.- C.10 Creating and Deleting Windows.- Appendix D Keyboards, Displays, Window Systems, and Mice.- D.1 Keyboards.- D.2 Displays and Window Systems.- D.3 Mice.

Mer från samma författare

Synthesizer Generator Reference Manual

Thomas W. Reps, Tim Teitelbaum

Häftad, 1988

1 479 kr

Mer från samma serie

Software Configuration Management Using Vesta

Clark Allan Heydon, Roy Levin, Timothy P. Mann, Yuan Yu

Inbunden, 2006

1 479 kr

High Performance Discovery In Time Series

Donna Ryan, New York University Courant Inst. Mathematical Sciences, Donna Ryan

Inbunden, 2004

1 419 kr

Parsing Techniques

Dick Grune, Ceriel J.H. Jacobs

Inbunden, 2007

3 249 kr

Geometric Fundamentals of Robotics

J.M. Selig

Inbunden, 2004

1 439 kr

Evolutionary Synthesis of Pattern Recognition Systems

Bir Bhanu, Yingqiang Lin, Krzysztof Krawiec

Inbunden, 2005

2 219 kr

Adapting Proofs-as-Programs

Iman Poernomo, John N. Crossley, Martin Wirsing

Inbunden, 2005

2 159 kr

Abstraction, Refinement and Proof for Probabilistic Systems

Annabelle McIver, Charles Carroll Morgan

Inbunden, 2004

2 159 kr

Reverse Engineering of Object Oriented Code

Paolo Tonella, Alessandra Potrich

Inbunden, 2004

1 479 kr

Numerical Geometry of Non-Rigid Shapes

Alexander M. Bronstein, Michael M. Bronstein, Ron Kimmel

Inbunden, 2008

1 079 kr

Algorithmic Algebra

Bhubaneswar Mishra

Inbunden, 1993

729 kr

Du kanske också är intresserad av

Synthesizer Generator Reference Manual

Thomas W. Reps, Tim Teitelbaum

Häftad, 1988

1 479 kr

Principled Programming

Tim Teitelbaum

Häftad, 2023

479 kr

Ruth Kvarnström-Jones - Systrarna på Sophiahemmet, Inbunden

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

299 kr329 kr

Nyhet

Allt det blå på himlen

Mélissa Da Costa

Pocket, 2026

79 kr129 kr

4 pocket för 3

Öster om Eden

John Steinbeck

Pocket, 2024

129 kr

Sarah J. Maas - A Court of Splintered Harmony, Häftad

Nyhet

Del 6

A Court of Splintered Harmony

Sarah J. Maas

Häftad, 2026

259 kr

Nyhet

Del 7

Fördrivaren

Viveca Sten

Inbunden, 2026

289 kr319 kr

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

289 kr319 kr

Katarina Wennstam - Moder blod, Inbunden

Nyhet

Del 4

Moder blod

Katarina Wennstam

Inbunden, 2026

269 kr299 kr

Nyhet

Threshing Day (Limited Deluxe Edition)

Rebecca Yarros

Inbunden, 2026

339 kr

Del i serien Monographs in Computer Science

Synthesizer Generator

A System for Constructing Language-Based Editors

Häftad, Engelska, 2011

AvThomas W. Reps,Tim Teitelbaum

749 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum2011-12-14
Mått155 x 235 x 19 mm
Vikt511 g
FormatHäftad
SpråkEngelska
SerieMonographs in Computer Science
Antal sidor317
FörlagSpringer-Verlag New York Inc.
ISBN9781461396253

Tillhör följande kategorier

Programvaruutveckling inom Data och it
Programmeringsböcker inom Data och it

1 Introduction.- 1.1 Using Structure Editing to Ensure that Programs Are Syntactically Correct.- 1.2 Using Immediate Computation to Locate Errors in Programs.- 1.3 Using Incremental Code Generation to Support Program Testing.- 1.4 Supporting Program-Development Methodologies.- 1.5 The Need for Incremental Algorithms.- 1.6 Adapting Specifications for Immediate Computation.- 1.7 Generating Language-Based Programming Environments.- 1.8 The Synthesizer Generator.- 2 Demonstration of a Sample Editor.- 3 The Attribute-Grammar Model of Editing.- 4 Specification of a Sample Editor.- 4.1 Abstract Syntax.- 4.2 Attributes and Attribute Equations.- 4.3 Unparsing Schemes.- 4.4 Input Interfaces.- 4.5 Templates and Transformations.- 5 Lists, Optional Elements, and Placeholders.- 5.1 Transient Placeholders.- 5.2 Specifying Lists and Optional Elements in SSL.- 5.3 Sublist Manipulations.- 5.4 Selections of Singleton Sublists Versus Selections of List Elements.- 5.5 Parsing Lists.- 5.6 Attribution Rules for a List’s Completing Term and Placeholder Term.- 6 Defining Hybrid Editors with the Synthesizer Generator.- 6.1 Defining a Language’s Underlying Abstract Syntax.- 6.2 Integration of Text Editing and Structure Editing.- 6.3 Defining Computed Display Representations.- 6.4 Context-Sensitive Translations and Transformations.- 7 Performing Static Inferences with Attributes.- 7.1 Aggregation and Information-Passing Strategies.- 7.2 Using the Attribution Mechanism to Perform Type Inference.- 8 Practical Advice.- 8.1 How to Begin Developing an Editor.- 8.2 Modular Construction of Editor Specifications.- 8.3 Problems That Frequently Arise.- 9 Generating Code Using Attributes.- 9.1 Approaches to Incremental Recompilation.- 9.2 Incremental Recompilation Using Attributes.- 10 InteractiveProgram Verification.- 10.1 An Introductory Example.- 10.2 Generating Verification Conditions.- 10.3 Checking Proofs of Verification Conditions.- 10.4 Automatic Deductive Capabilities.- 11 The Implementation.- 11.1 Basic Organization of the Implementation.- 11.2 Finiteness of Completing Terms.- 11.3 Generating Copy Rules for Upward Remote Attribute Sets.- 11.4 Deferred Reference Counting.- 12 Incremental Attribute Evaluation for Ordered Attribute Grammars.- 12.1 Greedy Evaluation.- 12.2 Distributed-Control Evaluation.- 12.3 Evaluation of Ordered Attribute Grammars by Visit-Sequence Evaluators.- 12.4 Construction of a Visit-Sequence Evaluator.- 12.5 Incremental Updating by Visit-Sequence-Driven Change Propagation.- 12.6 Optimizations for One-to-One Functions.- 12.7 What to Do When a Grammar Fails the Orderedness Test.- Appendix A Syntax of SSL.- Appendix B Invoking the Synthesizer Generator.- Appendix C Abbreviated List of Editor Commands.- C.1 Getting Into and Out of an Editor.- C.2 Changing the Structural Selection by Traversal of the Abstract Syntax Tree.- C.3 Executing Commands.- C.4 Structural Editing.- C.5 Moving the Object with Respect to the Window.- C.6 Using the Locator.- C.7 Textual Editing.- C.8 Changing the Character Selection by Textual Traversal of the Text Buffer.- C.9 Buffers, Selections, and Files.- C.10 Creating and Deleting Windows.- Appendix D Keyboards, Displays, Window Systems, and Mice.- D.1 Keyboards.- D.2 Displays and Window Systems.- D.3 Mice.