A semantics for advice and dynamic join points in aspect-oriented programming

ACM Transactions on Programming Languages and Systems

Volumn 26, Issue 5, 2004, Pages 890-910

  Wand, Mitchell ^a,c   Kiczales, Gregor ^b   Dutchyn, Christopher ^b  

^a NORTHEASTERN UNIVERSITY   (United States)

^b UNIVERSITY OF BRITISH COLUMBIA   (Canada)

^c Northeastern University   (United States)

Author keywords

Advice; Aspect Sand Box; Aspect oriented programming; AspectJ; Join point; Pointcut

Indexed keywords

ADVICE; ASPECT SAND BOX; ASPECT-ORIENTED PRORGRAMMING; ASPECTJ; JOIN POINT; POINTCUT;

CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; COMPUTER SYSTEMS PROGRAMMING; OBJECT ORIENTED PROGRAMMING; RECURSIVE FUNCTIONS;

SEMANTICS;

EID: 11344289845     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/1018203.1018208     Document Type: Conference Paper

References (29)

1. AKSIT, M., WAKITA, K., BOSCH, J., BERGMANS, L., AND YONEZAWA, A. 1994. Abstracting object interactions using composition filters. In Proceedings of the ECOOP'93 Workshop on Object-Based Distributed Programming, R. Guerraoui, O. Nierstrasz, and M. Riveill, Eds. Lecture Notes in Computer Science, vol. 791. Springer-Verlag, Berlin, Heidelberg, and New York, 152-184.
2. ANDREWS, J. H. 2001. Process-algebraic foundations of aspect-oriented programming. In Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns (Reflection 2001). Lecture Notes in Computer Science, vol. 2192. Springer-Verlag, Berlin, Heidelberg, and New York, 187-209.
3. BOBROW, D. G., KAHN, K., KICZALES, G., MASINTER, L., STEFIK, M., AND ZDYBEL, F. 1986. Common-Loops: merging Common Lisp and object-oriented programming. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications. ACM Press, New York, 17-29.
4. CANNON, H. I. 1982. Flavors: A Non-Hierarchical Approach to Object-Oriented Programming. Symbolics, Inc., Cambridge, Mass.
5. DEMEUTER, W. 1997. Monads as a theoretical foundation for AOP. In International Workshop on Aspect-Oriented Programming at ECOOP. 25.
6. DOUENCE, R., MOTELET, O., AND SUDHOLT, M. 2001. A formal definition of crosscuts. In Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns (Reflection 2001). Lecture Notes in Computer Science, vol. 2192. Springer-Verlag, Berlin, Heidelberg, and New York, 170-186.
7. DUTCHYN, C., KICZALES, G., AND MASUHARA, H. 2002. Aspect sand box. http://www.cs.ubc.ca/labs/spl/ projects/asb.html. web site.
8. ELRAD, T., FILMAN, R. E., AND BADER, A., Eds. 2001. Comm. ACM. 44, 10. ACM. special issue on Aspect-Oriented Programming.
9. FRIEDMAN, D. P., WAND, M., AND HAYNES, C. T. 2001. Essentials of Programming Languages, Second ed. MIT Press, Cambridge, MA.
10. GAMMA, E., HELM, R., JOHNSON, R., AND VLISSIDES, J. 1995. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, Reading, Massachusetts.
11. HARRISON, W. AND OSSHER, H. 1993. Subject-oriented programming (A critique of pure objects). In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, A. Paepcke, Ed. ACM Press, New York, 411-428.
12. JAGADEESAN, R., JEFFREY, A., AND RIELY, J. 2003. A calculus of untyped aspect-oriented programs. In Proceedings of the European Conference on Object-Oriented Programming. Lecture Notes in Computer Science. Springer-Verlag, Berlin, Heidelberg, and New York.
13. KICZALES, G. AND DES RIVIERES, J. 1991. The art of the metaobject protocol. MIT Press, Cambridge, MA, USA.
14. KICZALES, G., HILSDALE, E., HUGUNIN, J., KERSEN, M., PALM, J., AND GRISWOLD, W. G. 2001. An overview of AspectJ. In Proceedings of the European Conference on Object-Oriented Programming. Lecture Notes in Computer Science, vol. 2072. Springer-Verlag, Berlin, Heidelberg, and New York, 327-353.
15. KICZALES, G., LAMPING, J., MENDHEKAR, A., MAEDA, C., LOPES, C., LOINGTIER, J.-M., AND IRWIN, J. 1997. Aspect-oriented programming. In Proceedings of the European Conference on Object-Oriented Programming, M. Aksit and S. Matsuoka, Eds. Vol. 1241. Springer-Verlag, Berlin, Heidelberg, and New York, 220-242.
16. LAMMEL, R. 2002. A semantical approach to method-call interception. In Proceedings of the International Conference on Aspect-Oriented Software Development, G. Kiczales, Ed. ACM Press, Enschede, The Netherlands.
17. LIEBERHERR, K. J. 1996. Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns. PWS Publishing Company, Boston, Mass.
18. MASUHARA, H. AND KICZALES, G. 2003. Crosscutting in aspect-oriented mechanisms. In Proceedings of the European Conference on Object-Oriented Programming. ACM Press, New York.
19. MASUHARA, K., KICZALES, G., AND DUTCHYN, C. 2002. Compilation semantics of aspect-oriented programs. In FOAL 2002 Proceedings: Foundations of Aspect-Oriented Languages Workshop at AOSD 2002, G. T. Leavens and R. Cytron, Eds. Tech. Rep. 02-06. Department of Computer Science, Iowa State University, 17-26.
20. MOGGI, E. 1991. Notions of computation and monads. Information and Computation 93, 1, 55-92.
21. MOON, D. A. 1986. Object-oriented programming with Flavors. In Proceedings of the ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, N. Meyrowitz, Ed. ACM Press, New York, NY, 1-8.
22. OSSHER, H. AND TARR, P. 2000. Hyper/J: multi-dimensional separation of concerns for Java. In Proceedings of the 22nd International Conference on Software Engineering, June 4-11, Limerick, Ireland. ACM, New York, 734-737.
23. PEYTON JONES, S., ED. 1999. Haskell 98-a non-strict, purely functional language. Available from http://www.haskell.org/onlinereport.
24. SMITH, B. C. 1984. Reflection and semantics in Lisp. In Conference Record of the 11th ACM Symposium on Principles of Programming Languages. ACM, New York, 23-35.
25. STEELE, G. L. 1990. Common Lisp: the Language, Second ed. Digital Press, Burlington, MA.
26. TUCKER, D. B. AND KRISHNAMURTHI, S. 2003. Pointcuts and advice in higher-order languages. In Proceedings of the International Conference on Aspect-Oriented Software Development, M. Aksit, Ed. ACM Press, New York, 158-167.
27. WADLER, P. 1992. The essence of functional programming. In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM, Albequerque, New Mexico, 1-14.
28. WALKER, D., ZDANCEWIC, S., AND LIGATTI, J. 2003. A theory of aspects. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming. ACM, Uppsala, Sweden.
29. WEINREB, D. AND MOON, D. A. 1981. Flavors: Message passing in the LISP machine. A. I. Memo 602, Massachusetts Institute of Technology, A.I. Lab., Cambridge, Massachusetts.