The Synthesizer Generator: A System for Constructing Language-Based Editors: Monographs in Computer Science
Autor Thomas W. Reps, Tim Teitelbaumen Limba Engleză Paperback – 14 dec 2011
Din seria Monographs in Computer Science
- 20% Preț: 1322.30 lei
- 20% Preț: 511.92 lei
- 20% Preț: 1285.31 lei
- 20% Preț: 333.22 lei
- 20% Preț: 328.60 lei
- 15% Preț: 646.94 lei
- 20% Preț: 357.48 lei
- 20% Preț: 339.47 lei
- 20% Preț: 653.21 lei
- 20% Preț: 329.44 lei
- 20% Preț: 993.74 lei
- 20% Preț: 992.26 lei
- 20% Preț: 1630.95 lei
- 20% Preț: 656.03 lei
- 20% Preț: 650.08 lei
- 20% Preț: 328.09 lei
- 20% Preț: 641.16 lei
- 18% Preț: 737.74 lei
- 20% Preț: 642.19 lei
- 20% Preț: 641.99 lei
- 20% Preț: 345.59 lei
- 20% Preț: 711.29 lei
- 20% Preț: 1001.16 lei
- 20% Preț: 661.47 lei
- 20% Preț: 343.62 lei
- 20% Preț: 644.81 lei
- 15% Preț: 505.30 lei
- 20% Preț: 640.69 lei
- Preț: 396.78 lei
- 18% Preț: 956.81 lei
- 20% Preț: 592.68 lei
- 20% Preț: 329.44 lei
- Preț: 383.33 lei
- 20% Preț: 349.40 lei
- 20% Preț: 832.40 lei
- 20% Preț: 993.42 lei
- 15% Preț: 578.87 lei
- 20% Preț: 337.85 lei
- 20% Preț: 988.16 lei
- 20% Preț: 996.56 lei
- 20% Preț: 1293.37 lei
- 20% Preț: 1452.94 lei
Preț: 334.38 lei
Preț vechi: 417.97 lei
-20% Nou
Puncte Express: 502
Preț estimativ în valută:
63.98€ • 66.80$ • 52.95£
63.98€ • 66.80$ • 52.95£
Carte tipărită la comandă
Livrare economică 04-18 aprilie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9781461396253
ISBN-10: 1461396255
Pagini: 336
Ilustrații: XIII, 317 p.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.47 kg
Ediția:Softcover reprint of the original 1st ed. 1989
Editura: Springer
Colecția Springer
Seria Monographs in Computer Science
Locul publicării:New York, NY, United States
ISBN-10: 1461396255
Pagini: 336
Ilustrații: XIII, 317 p.
Dimensiuni: 155 x 235 x 18 mm
Greutate: 0.47 kg
Ediția:Softcover reprint of the original 1st ed. 1989
Editura: Springer
Colecția Springer
Seria Monographs in Computer Science
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
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.