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ț: 1209.56 lei
- 20% Preț: 501.59 lei
- 20% Preț: 1259.22 lei
- 20% Preț: 326.52 lei
- 20% Preț: 321.99 lei
- 15% Preț: 633.86 lei
- 20% Preț: 350.28 lei
- 20% Preț: 332.64 lei
- 20% Preț: 639.99 lei
- 20% Preț: 322.81 lei
- 20% Preț: 973.60 lei
- 20% Preț: 972.14 lei
- 20% Preț: 1597.85 lei
- 20% Preț: 642.77 lei
- 20% Preț: 636.92 lei
- 20% Preț: 321.49 lei
- 20% Preț: 628.19 lei
- 18% Preț: 722.82 lei
- 20% Preț: 629.20 lei
- 20% Preț: 629.01 lei
- 20% Preț: 338.63 lei
- 20% Preț: 696.89 lei
- 20% Preț: 980.88 lei
- 20% Preț: 648.08 lei
- 20% Preț: 336.71 lei
- 20% Preț: 631.75 lei
- 15% Preț: 495.12 lei
- 20% Preț: 627.74 lei
- Preț: 388.82 lei
- 18% Preț: 937.43 lei
- 20% Preț: 580.69 lei
- 20% Preț: 322.81 lei
- Preț: 375.65 lei
- 20% Preț: 342.36 lei
- 20% Preț: 815.54 lei
- 20% Preț: 973.29 lei
- 15% Preț: 567.18 lei
- 20% Preț: 331.04 lei
- 20% Preț: 968.12 lei
- 20% Preț: 976.35 lei
- 20% Preț: 1267.14 lei
- 20% Preț: 1423.46 lei
Preț: 327.66 lei
Preț vechi: 409.58 lei
-20% Nou
Puncte Express: 491
Preț estimativ în valută:
62.71€ • 65.14$ • 52.09£
62.71€ • 65.14$ • 52.09£
Carte tipărită la comandă
Livrare economică 03-17 februarie 25
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.