Circular reference attributed grammars - their evaluation and applications

Science of Computer Programming

Volumn 68, Issue 1 SPEC. ISS., 2007, Pages 21-37

  Magnusson, Eva ^a   Hedin, Görel ^a  

^a LUND UNIVERSITY   (Sweden)

Author keywords

Attribute grammars; Circular attribute evaluation; Demand driven evaluation; Fixed point evaluation; Grammar flow; Live analysis; Reference attributes

Indexed keywords

ALGORITHMS; JAVA PROGRAMMING LANGUAGE; OPTIMIZATION; RECURSIVE FUNCTIONS; SPECIFICATION LANGUAGES;

ATTRIBUTE GRAMMARS; CIRCULAR ATTRIBUTE EVALUATION; DEMAND DRIVEN EVALUATION; FIXED POINT EVALUATION; GRAMMAR FLOW; LIVE ANALYSIS; REFERENCE ATTRIBUTES;

COMPUTATIONAL GRAMMARS;

EID: 34547468967     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2005.06.005     Document Type: Article

References (26)

1. Appel A.W. Modern Compiler Implementation in Java (1998), Cambridge University Press
2. J.T. Boyland, Descriptional composition of compiler components, Ph.D. Thesis, University of California, Berkeley, California, 1996
3. Boyland J.T. Analyzing direct non-local dependencies in attribute grammars. Proceedings of CC'98: International Conference on Compiler Construction. LNCS vol. 1383 (1998), Springer-Verlag 31-49
4. Boyland J.T. Incremental evaluators for remote attribute grammars. Electronic Notes in Theoretical Computer Science 65 3 (2002)
5. J.T. Boyland, Remote Attribute Grammars. Manuscript, 2003
6. J.T. Boyland, Personal communication, 2003
7. A. Cornils, G. Hedin, Tool support for design patterns based on reference attributed grammars, in: Proceedings of WAGA'00, Workshop on Attribute Grammars and Applications, Ponte de Lima, Portugal, July 2000
8. T. Ekman, G. Hedin, Rewritable reference attributed grammars, in: Proceedings of ECOOP 2004: 18th European Conference on Object-Oriented Programming, Oslo, Norway, 2004
9. Farrow R. Automatic generation of fixed-point-finding evaluators for circular, but well-defined, attribute grammars. Proceedings of the SIGPLAN'86 Symposium on Compiler Construction, Palo Alto, California. ACM SIGPLAN Notices 21 7 (1986) 85-98
10. Hedin G. An object-oriented notation for attribute grammars. ECOOP'89, BCS Workshop Series (1989), Cambridge University Press 329-345
11. Hedin G. Reference attributed grammars. Informatica 24 (2000) 301-317 Slovenia
12. Hedin G., and Magnusson E. The JastAdd system - an aspect-oriented compiler construction system. SCP - Science of Computer Programming 47 1 (2002) 37-58 Elsevier
13. Jalili F. A general linear time evaluator for attribute grammars. ACM SIGPLAN Notices 18 9 (1983) 35-44
14. JavaCC. URL:. http://www.webgain.com/products/java_cc/
15. Jones L.G. Efficient evaluation of circular attribute grammars. ACM Transactions on Programming Languages and Systems 12 3 (1990) 429-462
16. Jourdan M. An optimal-time recursive evaluator for attribute grammars. In: Paul M., and Robinet B. (Eds). International Symposium on Programming, 6th Colloquium. Lecture Notes in Computer Science vol. 167 (1984), Springer-Verlag 167-178
17. Kastens U. Ordered Attributed Grammars. Acta Informatica 13 (1980) 229-256
18. Katayama T. Translation of attribute grammars into procedures. ACM Transactions on Programming Languages and Systems 6 3 (1984) 345-369
19. Knuth D.E. Semantics of context-free languages. Mathematical Systems Theory 2 2 (1968) 127-145
20. Knuth D.E. Semantics of context-free languages (errata). Mathematical Systems Theory 5 1 (1971) 95-96
21. Madsen O.L. On defining semantics by means of extended attribute grammars. Semantics-Directed Compiler Generation. LNCS vol. 94 (1980), Springer-Verlag 259-299
22. Magnusson E., and Hedin G. Program visualization using reference attributed grammars. Nordic Journal of Computing 7 (2000) 67-86
23. P. Persson, G. Hedin, Interactive execution time predictions using reference attributed grammars, in: WAGA'99, Second Workshop on Attribute Grammars and their Applications, Amsterdam, The Netherlands, March 1999
24. Poetzsch-Heffter A. Prototyping realistic programming languages based on formal specifications. Acta Informatica 34 (1997) 737-772
25. Rodeh M., and Sagiv M. Finding circular attributes in attribute grammars. JACM - Journal of the ACM 46 4 (1999) 556-575
26. A. Sasaki, M. Sassa, Circular attribute grammars with remote attribute references, in: Waga'00, Third Workshop of Attribute Grammars and their Applications, Ponte de Lima, Portugal, July 2000