Aspectual Caml: An aspect-oriented functional language

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2005, Pages 320-330

  Masuhara, Hidehiko ^a   Tatsuzawa, Hideaki ^a   Yonezawa, Akinori ^a  

^a UNIVERSITY OF TOKYO   (Japan)

Author keywords

Aspect oriented programming; Objective Caml; Pointcut and advice

Indexed keywords

ASPECT-ORIENTED PROGRAMMING (AOP); COMMON FEATURES; CROSS-CUTTING CONCERNS; DESIGN AND IMPLEMENTATIONS; FUNCTIONAL LANGUAGES; OBJECTIVE CAML; POINTCUT; POLYMORPHIC TYPES;

ASPECT ORIENTED PROGRAMMING; FUNCTIONAL PROGRAMMING; PROGRAM COMPILERS; SEPARATION;

HIGH LEVEL LANGUAGES;

EID: 84876755385     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1086365.1086405     Document Type: Conference Paper

References (27)

1. J. Aldrich. Open modules: Modular reasoning about advice. In C. Clifton, R. Lämmel, and G. T. Leavens, editors, Foundations of Aspect-Oriented Langauges (FOAL2004), Technical Report TR#04- 04, Department of Computer Science, Iowa State University, Mar. 2004.
2. P. Avgustinov, A. S. Christensen, L. Hendren, S. Kuzins, J. Lhoták, O. Lhoták, O. de Moor, D. Sereni, G. Sittampalam, and J. Tibble. Optimising AspectJ. In PLDI2005, June 2005.
3. J. Bonér. What are the key issues for commercial AOP use: how does AspectWerkz address them? In AOSD '04: Proceedings of the 3rd international conference on Aspect-oriented software development, pages 5-6. ACM Press, 2004. Invited Industry Paper.
4. B. Burke and A. Brok. Aspect-oriented programming and JBoss. Published on The O'Reilly Network, May 2003. http://www.oreillynet.com/pub/a/onjava/2003/05/ 28/aop-jboss.html.
5. Y. Coady, G. Kiczales, M. Feeley, N. Hutchinson, and J. S. Ong. Structuring operating system aspects: using AOP to improve OS structure modularity. Communications of the ACM, 44(10):79-82, Oct. 2001.
6. Y. Coady, G. Kiczales, M. Feeley, and G. Smolyn. Using AspectC to improve the modularity of path-specific customization in operating system code. In Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT symposium on Foundations of software engineering, pages 88-98, Vienna, Austria, 2001.
7. A. Colyer and A. Clement. Large-scale AOSD for middleware. In G. Murphy and K. Lieberherr, editors, Proceedings of the 3rd international conference on Aspect-oriented software development, pages 56-65. ACM Press, 2004.
8. D. S. Dantas, D. Walker, G. Washburn, and S. Weirich. PolyAML: A polymorphic aspect-oriented functional programmming language. In ICFP 2005, Sept. 2005.
9. B. de Alwis and G. Kiczales. Apostle: A simple incremental weaver for a dynamic aspect language. Technical Report TR-2003-16, Dept. of Computer Science, University of British Columbia, 2003.
10. T. Elrad, R. E. Filman, and A. Bader. Aspect-oriented programming. Communications of the ACM, 44(10):29-32, Oct. 2001.
11. M. Erwig and D. Ren. Type-safe update programming. In ESOP 2003, volume 2618 of Lecture Notes in Computer Science, pages 269-283, 2003.
12. J. Furuse. Extensional Polymorphism: Theory and Application. PhD thesis, Université Denis Diderot, Paris, Dec. 2002.
13. J. Garrigue. Programming with polymorphic variants. In ML Workshop, 1998.
14. J. Garrigue. Code reuse through polymorphic variants. In Workshop on Foundations of Software Engineering, Sasaguri, Japan, Nov. 2000.
15. E. Hilsdale and J. Hugunin. Advice weaving in AspectJ. In Proceedings of the 3rd international conference on Aspect-oriented software development, pages 26-35. ACM Press, 2004.
16. R. Hirschfeld. AspectS - AOP with Squeak. In Workshop on Advanced Separation of Concerns in Object-Oriented Systems (OOPSLA 2001), Oct. 2001.
17. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. Griswold. Getting started with AspectJ. Communications of the ACM, 44(10):59-65, Oct. 2001.
18. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of AspectJ. In ECOOP 2001, pages 327-353, 2001.
19. G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In M. Akşit and S. Matsuoka, editors, ECOOP '97 - Object-Oriented Programming 11th European Conference, number 1241 in Lecture Notes in Computer Science, pages 220-242, Jyväskylä, Finland, 1997. Springer-Verlag.
20. X. Leroy. A proposal for recursive modules in Objective Caml, May 2003. http://cristal.inria.fr/~xleroy/publi/recursive-modules-note.pdf.
21. H. Masuhara and G. Kiczales. Modeling crosscutting in aspectoriented mechanisms. In L. Cardelli, editor, Proceedings of European Conference on Object-Oriented Programming (ECOOP2003), volume 2743 of Lecture Notes in Computer Science, pages 2-28, Darmstadt, Germany, July 2003. Springer-Verlag.
22. H. Masuhara, G. Kiczales, and C. Dutchyn. A compilation and optimization model for aspect-oriented programs. In Proceedings of 12th International Conference on Compiler Construction (CC2003), volume 2622 of Lecture Notes in Computer Science, pages 46-60, 2003.
23. D. Sereni and O. de Moor. Static analysis of aspects. In M. Aksit, editor, Proceedings of the International Conference on Aspect- Oriented Program Development, page., Boston, Mar. 2003.
24. O. Spinczyk, A. Gal, and W. Schroder-Preikschat. AspectC++: An aspect-oriented extension to C++. In Proceedings of the 40th International Conference on Technology of Object-Oriented Languages and Systems (TOOLS Pacific 2002), pages 18-21, Sydney, Australia, Feb. 2002.
25. D. B. Tucker and S. Krishnamurthi. Pointcuts and advice in higherorder languages. In Proceedings of the 2nd International Conference on Aspect-Oriented Software Development (AOSD2003), pages 158- 167. ACM Press, 2003.
26. D. Walker, S. Zdancewic, and J. Ligatti. A theory of aspects. In ICFP2003, 2003.
27. M. Wand, G. Kiczales, and C. Dutchyn. A semantics for advice and dynamic join points in aspect-oriented programming. In R. Cytron and G. T. Leavens, editors, Foundations of Aspect-Oriented Langauges (FOAL2002), Technical Report TR#02-06, Department of Computer Science, Iowa State University, pages 1-8, Enschede, The Netherlands, Apr. 2002.