Product Description
This book addresses a fundamental software engineering issue, applying formal techniques and rigorous analysis to a practical problem of great current interest: the incorporation of language-specific knowledge in interactive programming environments. It makes a basic contribution in this area by proposing an attribute-grammar framework for incremental semantic analysis and establishing its algorithmic foundations. The results are theoretically important while having immediate practical utility for implementing environment-generating systems.
The book's principal technical results include: an optimal-time algorithm to incrementally maintain a consistent attributed-tree of attribute grammar subclasses, allowing an optimizing environment-generator to select the most efficient applicable algorithm; a general method for sharing storage among attributes whose values are complex data structures; and two algorithms that carry out attribute evaluation while reducing the number of intermediate attribute values retained. While others have worked on this last problem, Reps's algorithms are the first to achieve sublinear worst-case behavior. One algorithm is optimal, achieving the log n lower space bound in nonlinear time, while the second algorithm uses as much as root n. space but runs in linear time.
This item is not eligible for Amazon Prime, but millions of other items are. Join Amazon Prime today. Already a member? Sign in.
|
|||||||||
Editorial Reviews
Product Details
Would you like to update product info or give feedback on images?
|
Citations
(learn more)
14
books
cite this book:
See all 14 books citing this book
- Compiler Compilers and High Speed Compilation: 2nd CCHSC Workshop, Berlin, GDR, October 10-14, 1988. Proceedings (Lecture Notes in Computer Science) by Dieter Hammer on 4 pages
- Attribute Grammars, Applications and Systems: International Summer School SAGA, Prague, Czechoslovakia, June 4-13, 1991. Proceedings (Lecture Notes in Computer Science) by Henk Alblas on page 233, page 255, and page 504
- TAPSOFT '89. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989: Volume ... '89) (Lecture Notes in Computer Science) by Josep Diaz on page 319
- Graph-Grammars and Their Application to Computer Science: 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986 (Lecture Notes in Computer Science) by Hartmut Ehrig on page 325
- Handbook of Proof Theory (Studies in Logic and the Foundations of Mathematics) (Studies in Logic and the Foundations of Mathematics) by S.R. Buss in Back Matter
See all 14 books citing this book