Incremental evaluation for attribute grammars with unrestricted movement between tree modifications
- 35 Downloads
This paper concerns the design of editors that perform checks on a language's context-dependent constraints. Our particular concern is the design of an efficient, incremental analysis algorithm for systems based on the attribute-grammar model of editing. With previous incremental evaluation algorithms for arbitrary noncircular attribute grammars, the editing model required there to be a restriction on the operation that moves the editing cursor: moving the cursor was limited to just a single step in the tree — either to the parent node or to one of the child nodes of the current cursor location. This paper describes a new updating algorithm that can be used when an arbitrary movement of the cursor in the tree is permitted. After an operation that restructures the tree, the tree's attributes can be updated with a cost of 0 ((1+¦AFFECTED¦)·√m), where m is the size of the tree and AFFECTED is the subset of the tree's attributes that require new values, when the cost is amortized over a sequence of tree modifications. the editing cursor may be moved from its current location to any other node of the tree in a single, unit-cost operation. CR Categories and Subject Descriptors: D.2.3 [Software Engineering]: Coding — program editors; D.2.6 [Software Engineering]: Programming Environments; D.3.1 [Programming Languages]: Formal Definitions and Theory — semantics, syntax D.3.4 [Programming Languages]: Processors — translator writing systems and compiler generators F.3.2 [Logics and Meanings of Programs]: Semantics of Programming Languages — denotational semantics.
KeywordsTree Modification Program Language Writing System Incremental Evaluation Incremental Analysis
Unable to display preview. Download preview PDF.
- 1.Demers, A., Reps, T., Teitelbaum, T.: Incremental evaluation for attribute grammars with application to syntax-directed editors. In Conference Record of the Eighth ACM Symposium on Principles of Programming Languages, Williamsburg, Va., Jan. 26–28, 1981, pp. 105–116Google Scholar
- 2.Demers, A., Rogers, A., Zadeck, F.K.: Attribute propagation by message passing. In: Conference Record of the ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, Seattle, WA, June 25–28, 1985. SIGPLAN Notices 20, 43–59 (1985)Google Scholar
- 3.Hoover, R.: Dynamically bypassing copy rule chains in attribute grammars. In: Conference Record of the Thirteenth ACM Symposium on Principles of Programming Languages, St. Petersburg, FL, Jan. 13–15, 1986, pp. 14–25Google Scholar
- 4.Johnson, G.F., Fischer, C.N.: A meta-language and system for nonlocal incremental attribute evaluation in language-based editors. In Conference Record of the Twelfth ACM Symposium on Principles of Programming Languages, New Orleans, La., Jan. 14–16, 1985, pp. 141–151Google Scholar
- 7.Reps, T.: Optimal-time incremental semantic analysis for syntax-directed editors. In: Conference Record of the Ninth ACM Symposium on Principles of Programming Languages, Albuquerque, N.M., Jan. 25–27, 1982, pp. 169–176Google Scholar
- 10.Reps, T., Marceau, C., Teitelbaum, T.: Remote attribute updating for language-based editors. In: Conference Record of the 13th ACM Symposium on Principles of Programming Languages, St. Petersburg, Fla., Jan. 13–15, 1986, pp.1–13Google Scholar
- 12.Reps, T., Teitelbaum, T.: The Synthesizer Generator. In: Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, Pittsburgh, Penn., Apr. 23–25, 1984. Appeared as joint issue: SIGPLAN Notices (ACM) 19, 42–48 1984, and Soft. Eng. Notes (ACM) 9, 42–48 1984Google Scholar