The JastAdd system - modular extensible compiler construction

Science of Computer Programming

Volumn 69, Issue 1-3, 2007, Pages 14-26

  Ekman, Torbjörn ^a   Hedin, Görel ^a  

^a LUND UNIVERSITY   (Sweden)

Author keywords

Compiler construction; Extensible languages; Modular implementation

Indexed keywords

COMPUTER PROGRAMMING; JAVA PROGRAMMING LANGUAGE; SPECIFICATIONS;

COMPILER CONSTRUCTION; EXTENSIBLE LANGUAGES; MODULAR IMPLEMENTATION;

PROGRAM COMPILERS;

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

References (37)

1. T. Ekman, Extensible compiler construction, Ph.D. Thesis, Lund University, Sweden, June 2006
2. The Jacks compiler test suite. http://sources.redhat.com/mauve/, 2006
3. Nilsson A., Ive A., Ekman T., and Hedin G. Implementing Java compilers using ReRAGs. Nordic Journal of Computing 11 3 (2004) 213-234
4. Palpable Computing. http://www.ist-palcom.org, 2006
5. M. Fahndrich, K.R.M. Leino, Declaring and checking non-null types in an object-oriented language, in: Proceedings of OOPSLA'03, 2003, pp. 302-312
6. Kiczales G., Hilsdale E., Hugunin J., Kersten M., Palm J., and Griswold W.G. An overview of AspectJ. Lecture Notes in Computer Science 2072 (2001) 327-355
7. C. Clifton, G.T. Leavens, C. Chambers, T. Millstein, MultiJava: Modular open classes and symmetric multiple dispatch for Java, in: Proceedings of OOPSLA 2000, vol. 35 (10), 2000, pp. 130-145
8. Knuth D.E. Semantics of context-free languages. Mathematical Systems Theory 2 2 (1968) 127-145 Correction: Mathematical Systems Theory 5 (1) (1971) 95-96
9. Hedin G. An object-oriented notation for attribute grammars. The 3rd European Conference on Object-Oriented Programming, ECOOP'89. BCS Workshop Series (1989), Cambridge University Press 329-345
10. Koskimies K. Object-orientation in attribute grammars. Proceedings on Attribute Grammars, Applications and Systems (1991), Springer-Verlag, London, UK 297-329
11. Hedin G. Reference attributed grammars. Informatica (Slovenia) 24 3 (2000) 301-317
12. Poetzsch-Heffter A. Prototyping realistic programming languages based on formal specifications. Acta Informatica 34 (1997) 737-772
13. J.T. Boyland, Descriptional composition of compiler components, Ph.D. Thesis, University of California, Berkeley, Available as Technical Report UCB//CSD-96-916, Sept. 1996
14. Boyland J.T. Remote attribute grammars. Journal of the ACM 52 4 (2005) 627-687
15. Kastens U., and Waite W.M. Modularity and reusability in attribute grammars. Acta Informatica 31 7 (1994) 601-627
16. Ekman T., and Hedin G. Rewritable reference attributed grammars. Proceedings of ECOOP 2004. Lecture Notes in Computer Science vol. 3086 (2004), Springer-Verlag 144-169
17. T. Ekman, G. Hedin, Modular name analysis for Java using JastAdd, in: Generative and Transformational Techniques in Software Engineering, International Summer School, GTTSE 2005, Braga, Portugal (Revised Papers), Lecture Notes in Computer Science, vol. 4143, Springer, 2006, pp. 422-436
18. Vogt H.H., Swierstra S.D., and Kuiper M.F. Higher order attribute grammars. Proceedings of the SIGPLAN '89 Conference on Programming Language Design and Implementation (1989), ACM Press 131-145
19. J. Saraiva, Purely functional implementation of attribute grammars, Ph.D. Thesis, Utrecht University, The Netherlands, 1999
20. Van Wyk E., d. Moor O., Backhouse K., and Kwiatkowski P. Forwarding in attribute grammars for modular language design. Proceedings of CC 2002. Lecture Notes in Computer Science vol. 2304 (2002), Springer-Verlag 128-142
21. Farrow R. Automatic generation of fixed-point-finding evaluators for circular, but well-defined, attribute grammars. Proceedings of the SIGPLAN Symposium on Compiler Contraction (1986), ACM Press 85-98
22. Magnusson E., and Hedin G. Circular reference attributed grammars - their evaluation and applications. Electronic Notes in Theoretical Computer Science 82 3 (2003)
23. Hedin G., and Magnusson E. JastAdd: An aspect-oriented compiler construction system. Science of Computer Programming 47 1 (2003) 37-58
24. Nystrom N., Clarkson M.R., and Myers A.C. Polyglot: An extensible compiler framework for Java. Proceedings of CC 2003. Lecture Notes in Computer Science vol. 2622 (2003), Springer-Verlag 138-152
25. A. Myers, N. Nystrom, X. Qi, Polyglot - a compiler front end framework for building Java language extensions. http://www.cs.cornell.edu/Projects/polyglot/, 2006
26. D. Parigot, C. Courbis, D. Rey, SmartTools Software Factories. http://http://www-sop.inria.fr/smartool/, 2006
27. GrammaTech, The synthesizer generator. http://www.grammatech.com/products/sg/, 2006
28. J. Grosch, Cocktail - compiler compiler toolkit Karlsruhe. http://www.cocolab.com/en/cocktail.html, 2006
29. A. Sloane, W.M. Waite, U. Kastens, Eli-translator construction made easy. http://eli-project.sourceforge.net/, 2006
30. Lex Augusteijn, The Elegant homepage. http://www.research.philips.com/technologies/syst%5fsoftw/elegant/, 2006
31. M. Lenic, E. Avdicausevic, D. Rebernak, M. Mernik, The LISA homepage. http://labraj.uni-mb.si/lisa/, 2006
32. M. Kuiper, D. Swierstra, M. Pennings, H. Vogt, J. Saraiva, Lrc: A purely functional, higher-order attribute grammar based system. http://www.di.uminho.pt/jas/Research/LRC/lrc.html, 2006
33. D. Swierstra, A. Baars, UAG - Utrecht attribute grammar system. http://www.cs.uu.nl/wiki/Center/AttributeGrammarSystem, 2006
34. M. van den Brand, P. Klint, The ASF+SDF MetaEnvironment. http://www.cwi.nl/htbin/sen1/twiki/bin/view/SEN1/MetaEnvironment, 2006
35. E. Visser, M. Bravenboer, R. Vermaas, Stratego: Strategies for program transformation. http://www.program-transformation.org/Stratego/WebHome, 2006
36. R. James, Cordy, TXL - Source transformation by example. http://www.txl.ca, 2006
37. Olmos K., and Visser E. Composing source-to-source data-flow transformations with rewriting strategies and dependent dynamic rewrite rules. Proceedings of CC 2005. Lecture Notes in Computer Science vol. 3443 (2005), Springer-Verlag 204-220