Incremental Attribute Evaluation for Ordered Attribute Grammars
By far the most involved of the algorithms employed in the Synthesizer Generator are its algorithms for incremental attribute updating. In generated editors, incremental attribute updating is carried out by one of several change-propagation algorithms. One of the algorithms used is described in [Reps82], [Reps83], and Chapter 5 of [Reps84], which works for arbitrary noncircular attribute grammars. Alternatively, when the grammar falls into the class of ordered attribute grammars [Kastens80], a much more efficient algorithm specialized to that class can be used.
KeywordsPropa Expense Sorting Topo Clarification
Unable to display preview. Download preview PDF.