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.
Chapter PDF
References
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).
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.
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).
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.
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).
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.
G. Hedin. Incremental semantic analysis. PhD thesis, Lund University, Lund, Sweden, 1992. Tech. Rep. LUTEDX/(TECS-1003)/1-276/(1992).
G. Hedin. Incremental name analysis for object-oriented langauges. In [17].
G. Hedin. Using door attribute grammars for incremental name analysis. In [17].
R. Hoover. Incremental Graph Evaluation, PhD thesis, Cornell University, Ithaca, N.Y., May 1987. Tech. Rep. 87-836.
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).
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.
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.
G. Kaiser. Semantics for Structure Editing Environments. PhD thesis, Carnegie-Mellon University, Pittsburgh, Pa., May 1985. CMU-CS-85-131.
U. Kastens. Ordered attribute grammars. Acta Informatica, 13:229–256, 1980.
D. E. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2(2): 127–145, June 1968.
J. L. Knudsen, M. Löfgren, O. L. Madsen, and B. Magnusson. Object oriented environments: the Mjølner approach. Prentice Hall, 1993.
B. Magnusson. The Mjølner Orm system. In [17].
O. L. Madsen, B. Møller-Pedersen, and K. Nygaard. Object Oriented Programming in the BETA Programming Language. ACM Press, 1993.
T. Reps. Generating Language-Based Environments. MIT Press, 1984.
T. Reps, C. Marceau, and T. Teitelbaum. Remote attribute updating for language-based editors. In Proc. 13th POPL, pages 1–13, January 1986. ACM.
T. W. Reps and T. Teitelbaum. The Synthesizer Generator. A system for constructing language-based editors. Springer-Verlag, 1988.
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.
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.
S. A. Vorthmann. Modelling and Specifying Name Visibility and Binding Semantics. CMU-CS-93-158. Carnegie Mellon University, Pittsburgh, Pa., July 1993.
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).
T. Wilcox and H. Larsen. The interactive and incremental compilation of ADA using Diana. Internal report, Rational, 1986.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hedin, G. (1994). An overview of door attribute grammars. In: Fritzson, P.A. (eds) Compiler Construction. CC 1994. Lecture Notes in Computer Science, vol 786. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57877-3_3
Download citation
DOI: https://doi.org/10.1007/3-540-57877-3_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-57877-2
Online ISBN: 978-3-540-48371-7
eBook Packages: Springer Book Archive