| 刊年 | 1984 |
| G/SMD | リモートファイル |
| 形態 | 1 online resource (138 p.) : ill. |
| シリーズ名 | Acm doctoral dissertation award
|
| 注記 | Includes indexes
Originally presented as the author's thesis (Ph. D.)--Cornell University, 1983
Includes bibliographical references (p. )[129]-134
Restricted to subscribers or individual electronic text purchasers
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
Also available in print
Mode of access: World Wide Web
Description based on PDF viewed 12/23/2015
URL:https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325(Abstract with links to resource) |
| 出版国 | アメリカ合衆国 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 著者情報 | Reps, Thomas W.
|
| ISBN | 9780262256858(: electronic bk)
|
| 無効/取消ISBN | 9780262681469(: electronic bk)
|
| 件名 | LCSH:Computerprogramming
LCSH:Interactivecomputersystems
LCSH:Texteditors(Computerprograms)
LCSH:Programminglanguages(Electroniccomputers)
|
| NCID | 6267325 |
| IDENT | https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267325 |