On the Optimality of Change Propagation for Incremental Evaluation of Hierarchical Attribute Grammars

ACM Transactions on Programming Languages and Systems

Volumn 18, Issue 1, 1996, Pages 16-29

  Carle, Alan ^a,c   Pollock, Lori ^b,d  

^a RICE UNIVERSITY   (United States)

^b UNIVERSITY OF DELAWARE   (United States)

^c Rice University   (United States)

^d University of Delaware   (United States)

Author keywords

Algorithms; Attribute grammar; D 3.4 Programming Languages : Processors translator writing systems and compiler generators; D.2.3 Software Engineering : Coding program editors; D.2.6 Software Engineering : Programming Environments; Languages

Indexed keywords

ALGORITHMS; HIERARCHICAL SYSTEMS; OPTIMIZATION;

CHANGE PROPAGATION; HIERARCHICAL ATTRIBUTE GRAMMARS; OPTIMAL INCREMENTAL EVALUATION;

COMPUTATIONAL GRAMMARS;

EID: 0029721953     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/225540.225542     Document Type: Review

References (24)

1. CARLE, A. 1992. Hierarchical attribute grammars: Dialects, applications and evaluation algorithms. Ph.D. thesis, Dept. of Computer Science, Rice Univ., Houston, Tex.
2. CARLE, A. AND POLLOCK, L. 1995a. A context-based incremental evaluator for hierarchical attribute grammars. J. Program. Lang. 3, 1-29.
3. CARLE, A. AND POLLOCK, L. 1995b. Matching-based incremental evaluators for hierarchical attribute grammar dialects. ACM Trans. Program. Lang. Syst. 17, 2, 394-429.
4. CARLE, A. AND POLLOCK, L. L. 1990. Incremental evaluation for modular attribute grammars. Tech. Rep. TR90-103, Rice Univ., Houston, Tex. Jan.
5. FRANCHI-ZANNETTACCI, P. 1982. Attributs sémantiques et schémas de programmes. Ph.D. thesis, Université de Bordeaux I, Bordeaux, France.
6. GANZINGER, H. AND GIEGERICH, R. 1984. Attribute coupled grammars. In Proceedings of the SIGPLAN '84 Symposium on Compiler Construction (Montreal, Canada). ACM, New York, 157-170.
7. GANZINGER, H., GIEGERICH, R., AND VACH, M. 1986. MARVIN: A tool for applicative and modular compiler specifications. Forschungsbericht Nr. 220. Univ. of Dortmund, Dortmund. Germany.
8. HOOVER, R. 1987. Incremental graph evaluation. Ph.D. thesis, Dept. of Computer Science, Cornell Univ., Ithaca, N.Y.
9. JIA, X. AND QIAN, J. 1985. Incremental evaluation of attributed grammars for incremental programming environments. In IEEE COMPSAC'85 (Chicago, Ill.). IEEE, New York, 342-349.
10. JONES, L. G. 1990. Efficient evaluation of circular attribute grammars. ACM Trans. Program. Lang. Syst. 12, 3 (July), 429-462.
11. JONES, L. G. AND SIMON, J. 1986. Hierarchical VLSI design systems based on attribute grammars. In Proceedings of the 13th Annual Symposium on Principles of Programming Languages. ACM, New York, 58-69.
12. KATAYAMA, T. 1984. Translation of attribute grammars into procedures. ACM Trans. Program. Lang. Syst. 6, 3 (July), 345-369.
13. PUGH, W. W., JR. 1988. Incremental computation and the incremental evaluation of function programs. TR 88-936. Ph.D. thesis, Dept. of Computer Science, Cornell Univ., Ithaca, N.Y.
14. REPS, T. 1982. Optimal-time incremental semantic analysis for syntax-directed editors. In Proceedings of the 9th Annual Symposium on Principles of Programming Languages. ACM, New York, 169-176.
15. REPS, T. W. 1984. Generating Language-Based Environments. The MIT Press, Cambridge, Mass.
16. REPS, T. W. AND TEITELBAUM, T. 1989. The Synthesizer Generator: A System for Constructing Language-Based Editors. Springer-Verlag, New York.
17. REPS, T., TEITELBAUM, T., AND DEMERS, A. 1983. Incremental context-dependent analysis for language-based editors. ACM Trans. Program. Lang. Syst. 5, 3 (July), 449-477.
18. SCHULZ, W. A. 1976. Semantic analysis and target language synthesis in a translator. Ph.D. thesis, Dept. of Computer Science, Univ. of Colorado, Boulder, Colo.
19. SWIERSTRA, D. AND VOGT, H. 1991. Higher order attribute grammars. In Attribute Grammars, Applications and Systems. Lecture Notes in Computer Science, vol 545. Springer-Verlag, New York, 256-296.
20. TEITELBAUM, T. AND CHAPMAN, R. 1990. Higher-order attribute grammars and editing environments. In Proceedings of the SIGPLAN '90 Symposium on Programming Language Design and Implementation. ACM, New York, 197-208.
21. VOGT, H. H., SWIERSTRA, S. D., AND KUIPER, M. F. 1989. Higher order attribute grammars. In Proceedings of the SIGPLAN '89 Symposium on Programming Language Design and Implementation. ACM, New York, 131-145.
22. WALZ, J. A. AND JOHNSON, G. F. 1988. Incremental evaluation for a general class of circular attribute grammars. In Proceedings of the SIGPLAN '88 Symposium on Programming Language Design and Implementation. ACM, New York, 209-221.
23. YEH, D. 1983. On incremental evaluation of ordered attributed grammars. Bit 23, 308-320.
24. YEH, D. AND KASTENS, U. 1988. Improvements of an incremental evaluation algorithm for ordered attribute grammars. SIGPLAN Not. 23, 12 (Dec.), 45-50.