CC 1994: Compiler Construction pp 31-51 | Cite as

An overview of door attribute grammars

  • Görel Hedin
Conference paper
First Online:
Part of the Lecture Notes in Computer Science book series (LNCS, volume 786)

Abstract

An extension to attribute grammars is introduced which allows objects and references to be specified as part of a syntax tree attribution. Practical advantages of these grammars include a simpler specification of many problems in static-semantic analysis, including the specification of object-oriented languages, and a highly reduced number of affected attributes after syntax tree modifications. The resulting attributions are space-efficient and allow efficient incremental attribute evaluation in interactive language-based editors.

Keywords

Affected Attribute Syntax Tree Attribute Grammar Semantic Object Reference Attribute 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Download to read the full conference paper text

References

  1. [1]
    B. Alpern, A. Carle, B. Rosen, P. Sweeney, and K. Zadeck. Graph attribution as a specification paradigm. In Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, pp 121–129. Boston, Ma., 1988. ACM SIGPLAN Notices 24(2).Google Scholar
  2. [2]
    R. A. Ballance. Syntactic and Semantic Checking in Language-Based Editing Systems. PhD thesis, Computer Science Division — EECS, Univ. of California, Berkeley, 1989. TR UCB/CSD 89/548.Google Scholar
  3. [3]
    G. M. Beshers and R. H. Campbell. Maintained and constructor attributes. In Proceedings of the SIGPLAN 85 Symposium on Language Issues in Programming Environments, pages 34–42, Seattle, Wa., 1985. ACM. SIGPLAN Notices, 20(7).Google Scholar
  4. [4]
    O.-J. Dahl, B. Myhrhaug, and K. Nygaard. SIMULA 67 common base language. NCC Publ. S-2, Norwegian Computing Centre, Oslo, May 1968. Revised 1970 (Publ. S-22), 1972, and 1984. Swedish Standard SS 63 61 14, 1987.Google Scholar
  5. [5]
    A. Demers, A. Rogers, and F. K. Zadeck. Attribute propagation by message passing. In Proceedings of the SIGPLAN 85 Symposium on Language Issues in Programming Environments, pp 43–59, 1985. ACM. SIGPLAN Notices, 20(7).Google Scholar
  6. [6]
    G. Hedin. An object-oriented notation for attribute grammars. In S. Cook, editor, Proceedings of the 3rd European Conference on Object-Oriented Programming (ECOOP'89), BCS Workshop Series, pages 329–345, Nottingham, U.K., July 1989. Cambridge University Press.Google Scholar
  7. [7]
    G. Hedin. Incremental semantic analysis. PhD thesis, Lund University, Lund, Sweden, 1992. Tech. Rep. LUTEDX/(TECS-1003)/1-276/(1992).Google Scholar
  8. [8]
    G. Hedin. Incremental name analysis for object-oriented langauges. In [17].Google Scholar
  9. [9]
    G. Hedin. Using door attribute grammars for incremental name analysis. In [17].Google Scholar
  10. [10]
    R. Hoover. Incremental Graph Evaluation, PhD thesis, Cornell University, Ithaca, N.Y., May 1987. Tech. Rep. 87-836.Google Scholar
  11. [11]
    R. Hoover and T. Teitelbaum. Efficient incremental evaluation of aggregate values in attribute grammars. In Proceedings of the SIGPLAN '86 Symposium on Compiler Construction, pages 39–50, July 1986. ACM SIGPLAN Notices, 21(7).Google Scholar
  12. [12]
    G. F. Johnson and C. N. Fischer. Non-syntactic attribute flow in language based editors. In Proc. 9th POPL, pp 185–195, Albuquerque, N.M., January 1982. ACM.Google Scholar
  13. [13]
    G. F. Johnson and C. N. Fischer. A meta-language and system for nonlocal incremental attribute evaluation in language-based editors. In Proc. 12th POPL, pages 141–151, New Orleans, La., January 1985. ACM.Google Scholar
  14. [14]
    G. Kaiser. Semantics for Structure Editing Environments. PhD thesis, Carnegie-Mellon University, Pittsburgh, Pa., May 1985. CMU-CS-85-131.Google Scholar
  15. [15]
    U. Kastens. Ordered attribute grammars. Acta Informatica, 13:229–256, 1980.CrossRefGoogle Scholar
  16. [16]
    D. E. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2(2): 127–145, June 1968.CrossRefGoogle Scholar
  17. [17]
    J. L. Knudsen, M. Löfgren, O. L. Madsen, and B. Magnusson. Object oriented environments: the Mjølner approach. Prentice Hall, 1993.Google Scholar
  18. [18]
    B. Magnusson. The Mjølner Orm system. In [17].Google Scholar
  19. [19]
    O. L. Madsen, B. Møller-Pedersen, and K. Nygaard. Object Oriented Programming in the BETA Programming Language. ACM Press, 1993.Google Scholar
  20. [20]
    T. Reps. Generating Language-Based Environments. MIT Press, 1984.Google Scholar
  21. [21]
    T. Reps, C. Marceau, and T. Teitelbaum. Remote attribute updating for language-based editors. In Proc. 13th POPL, pages 1–13, January 1986. ACM.Google Scholar
  22. [22]
    T. W. Reps and T. Teitelbaum. The Synthesizer Generator. A system for constructing language-based editors. Springer-Verlag, 1988.Google Scholar
  23. [23]
    T. Teitelbaum and R. Chapman. Higher-order attribute grammars and editing environments. In Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation, pages 197–208. White Plains, N. Y., June 1990.Google Scholar
  24. [24]
    S. A. Vorthmann. Syntax-Directed Editor Support for Incremental Consistency Maintenance. PhD thesis, Georgia Institute of Technology, Atlanta, Ga., June 1990. TR GIT-ICS-90/03.Google Scholar
  25. [25]
    S. A. Vorthmann. Modelling and Specifying Name Visibility and Binding Semantics. CMU-CS-93-158. Carnegie Mellon University, Pittsburgh, Pa., July 1993.Google Scholar
  26. [26]
    H. H. Vogt, S. D. Swierstra, and M. F. Kuiper. Higher-order attribute grammars. In Proceedings of the ACM SIGPLAN '89 Conference on Programming Language Design and Implementation, pages 131–145, Portland, Or., June 1989. ACM SIGPLAN Notices, 24(7).Google Scholar
  27. [27]
    T. Wilcox and H. Larsen. The interactive and incremental compilation of ADA using Diana. Internal report, Rational, 1986.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Görel Hedin
    • 1
  1. 1.Dept. of Computer ScienceLund UniversityLundSweden

Personalised recommendations