Aspect-oriented compilers

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1799, Issue , 2000, Pages 121-133

  De Moor, Oege ^a   Peyton Jones, Simon ^b   Van Wyk, Eric ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ASPECT ORIENTED PROGRAMMING; PROGRAM COMPILERS; SEMANTICS; SOFTWARE ENGINEERING;

ASPECT ORIENTATION; ASPECT-ORIENTED; ATTRIBUTE GRAMMARS; CLASS HIERARCHIES; CLASS OBJECTS; HASKELL; PROGRAM STRUCTURES; STEPPING STONE;

OBJECT ORIENTED PROGRAMMING;

EID: 84959045325     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-40048-6_10     Document Type: Conference Paper

References (29)

1. S. R. Adams. Modular Grammars for Programming Language Prototyping. PhD thesis, Department of Electronics and Computer Science, University of Southampton, UK, 1993.
2. A. V. Aho, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.
3. D. Batory, V. Singhal, J. Thomas, S. Dasari, B. Geraci, and M. Sirkin. The GenVoca model of software-system generators. IEEE Software, 11(5): 89-94, 1994.
4. R. S. Bird. A formal development of an efficient supercombinator compiler. Science of Computer Programming, 8(2): 113-137, 1987.
5. R. S Bird. Introduction to Functional Programming in Haskell. International Series in Computer Science. Prentice Hall, 1998.
6. O. De Moor. First-class attribute grammars. 1999. Draft paper available from URL http://www.comlab.ox.ac.uk/oucl/users/oege.demoor/homepage.htm
7. P. Deransart, M. Jourdan, and B. Lorho. Attribute grammars - Definitions, systems and bibliography, volume 322 of LCNS. Springer Verlag, 1988.
8. H. Ganzinger and R. Giegerich. Attribute Coupled Grammars. In Proceedings of the ACM Symposium on Compiler Construction, 157-170, 1984. Published as ACM SIGPLAN Notices, 19(6).
9. B. R. Gaster and M. P. Jones. A polymorphic type system for extensible records and variants. Technical report NOTTCS-TR-96-3, Department of Computer Science, University of Nottingham, UK, 1996. Available from URL http://www.cs.nott.ac.uk/Department/Staff/mpj/polyrec.html.
10. R. W. Gray, V. P. Heuring, S. P. Levi, A. M. Sloane, and W. M. Waite. Eli: A complete, flexible compiler construction system. CACM, 35: 121-131, 1992.
11. T. Johnsson. Attribute grammars as a functional programming paradigm. In G. Kahn, editor, Functional Programming Languages and Computer Architecture, volume 274 of LNCS, pages 154-173. Springer-Verlag, 1987.
12. M. Jourdan. Strongly non-circular attribute grammars and their recursive evaluation. SIGPLAN Notices, 19: 81-93, 1984.
13. M. Jourdan, D. Parigot, C. Julié, O. Durin, and C. Le Bellec. Design, implementation and evaluation of the FNC-2 attribute grammar system. In Conference on Programming Languages Design and Implementation, pages 209-222, 1990. Published as ACM SIGPLAN Notices, 25(6).
14. U. Kastens. Attribute grammars in a compiler construction environment. In Proceedings of the International Summer School on Attribute Grammars, Applications and Systems, volume 545 of LNCS, pages 380-400, 1991.
15. U. Kastens, B. Hutt, and E. Zimmermann. GAG: A Practical Compiler Generator, volume 141 of LNCS. Springer Verlag, 1982.
16. U. Kastens and W. M. Waite. Modularity and reusability in attribute grammars. Acta Informatica, 31: 601-627, 1994.
17. G. Kiczales. Aspect-oriented programming. ACM Computing Surveys, 28A(4), 1996. See also: http://www.parc.xerox.com/spl/projects/aop.
18. D. E. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2: 127-146, 1968.
19. M. Kuiper and S. D. Swierstra. Using attribute grammars to derive efficient functional programs. In Computing Science in the Netherlands CSN '87, 1987. See: ftp://ftp.cs.ruu.nl/pub/RUU/CS/techreps/CS-1986/1986-16.ps.gz.
20. M. Kuiper and J. Saraiva. LRC - A Generator for Incremental Language-Oriented Tools. In K. Koskimies, editor, 7th International Conference on Compiler Construction, pages 298-301. volume 1383 of LNCS. Springer Verlag, 1998.
21. K. J. Lieberherr. Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns. PWS Publishing Company, 1996.
22. A. Ohori. A polymorphic record calculus and its compilation. ACM Transactions on Programming Languages and Systems, 17(6): 844-895, 1995.
23. D. Rémy. Typechecking records and variants in a natural extension of ML. In Proceedings of the ACM Symposium on Principles of Programming Languages (POPL '89), pages 77-88. ACM Press, 1989.
24. D. Rémy. Typing record concatenation for free. In C. A. Gunter and J. C. Mitchell, editors, Theoretical Aspects of Object-Oriented Programming: Types, Semantics and Language Design, Foundations of Computing Series. MIT Press, 1994.
25. T. W. Reps and T. Teitelbaum. The Synthesizer Generator: A system for constructing language-based editors. Springer-Verlag, 1989.
26. D. Rushall. An attribute evaluator in Haskell. Technical report, Manchester University, 1992. See URL: http://www-rocq.inria.fr/oscar/www/fnc2/AG.html.
27. C. Simonyi. Intentional programming: Innovation in the legacy age. Presented at IFIP Working group 2.1, 1996. Available from URL http://www.research.microsoft.com/research/ip/.
28. S.D. Swierstra, P. Azero and J. Saraiva. Designing and implementing combinator languages. In S. D. Swierstra, editor, 3rd International Summer School on Advanced Functional Programming, volume 1608 of LNCS. Springer Verlag, 1999. See also URL http://www.cs.uu.nl/groups/ST/Software/index.html.
29. M. Wand. Type inference for record concatenation and multiple inheritance. Information and Computation, 93: 1-15, 1991.