论文信息 - Efficient incremental evaluation of aggregate values in attribute grammars

Efficient incremental evaluation of aggregate values in attribute grammars

Aggregate valued attributes, which store collections of keyed elements, are required in attribute grammars to communicate information from multiple definition sites to multiple use locations. For syntax directed editors and incremental compilers, symbol tables are represented as aggregate values. We present efficient algorithms for incrementally maintaining these aggregate values and give an incremental evaluation algorithm that restricts attribute propagation to attributes dependent only upon information within the aggregate value that has changed.

Tim Teitelbaum | Roger Hoover

[1] Gregory Francis Johnson. An approach to incremental semantics , 1983 .

[2] Thomas W. Reps,et al. The synthesizer generator , 1984, SDE 1.

[3] Eugene W. Myers,et al. Efficient applicative data types , 1984, POPL.

[4] Thomas W. Reps,et al. Incremental evaluation for attribute grammars with application to syntax-directed editors , 1981, POPL '81.

[5] Thomas W. Reps,et al. Generating Language-Based Environments , 1982 .

[6] Thomas W. Reps,et al. Remote attribute updating for language-based editors , 1986, POPL '86.

[7] Dashing Yeh. On incremental evaluation of ordered attributed grammars , 1983, BIT Comput. Sci. Sect..

[8] Lishing Liu. Essential uses of expressions in set-oriented languages , 1979 .

[9] Susan Beth Horwitz,et al. Generating language-based editors: a relationally-attributed approach , 1985 .

[10] Robert Paige,et al. Finite Differencing of Computable Expressions , 1982, TOPL.

[11] John A. Allen,et al. The anatomy of lisp , 1980 .

[12] Gregory F. Johnson,et al. A meta-language and system for nonlocal incremental attribute evaluation in language-based editors , 1985, POPL.

[13] F. K. Zadeck,et al. Attribute propagation by message passing , 1985, SLIPE '85.

[14] Roger Hoover. Dynamically bypassing copy rule chains in attribute grammars , 1986, POPL '86.