StrongAspectJ: Flexible and safe pointcut/advice bindings

7th International Conference on Aspect-Oriented Software Development, AOSD.08 - Research Track Proceedings

Volumn , Issue , 2008, Pages 60-71

  De Fraine, Bruno ^a   Südholt, Mario ^b   Jonckers, Viviane ^a  

^a VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

^b ECOLE DES MINES DE NANTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ASPECT-J; ASPECT-ORIENTED; FORMAL DEFINITION; GENERIC CONTEXTS; JOIN POINT; LANGUAGE ENGINEERING; PLUG-INS; POINT CUT; PROTOTYPE IMPLEMENTATIONS; RUNTIMES; TYPE ERRORS; TYPE SAFETY; TYPE SYSTEMS; TYPE VARIABLES; TYPING RULES;

COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING; ERRORS; LINGUISTICS; SAFETY ENGINEERING; SOFTWARE DESIGN; SOFTWARE PROTOTYPING;

JAVA PROGRAMMING LANGUAGE;

EID: 72149125958     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1353482.1353491     Document Type: Conference Paper

References (31)

1. M. Akşit, editor. Proc. 2nd Int' Conf. on Aspect-Oriented Software Development (AOSD-2003). ACM Press, Mar. 2003.
2. P. Avgustinov, A. S. Christensen, L. Hendren, et al. abc: An extensible AspectJ compiler. In P. Tarr, editor, Proc. 4rd Int' Conf. on Aspect-Oriented Software Development (AOSD-2005), pages 87-98. ACM Press, Mar. 2005.
3. G. Bracha and D. Griswold. Strongtalk: typechecking Smalltalk in a production environment. In Proc. of OOPSLA '93, pages 215-230. ACM Press, 1993.
4. G. Bracha, M. Odersky, D. Stoutamire, and P. Wadler. Making the future safe for the past: Adding genericity to the Java programming language. In Proc. of OOPSLA '98, pages 183-200. ACM Press, Oct. 1998.
5. L. Cardelli and P. Wegner. On understanding types, data abstraction, and polymorphism. ACM Computing Surveys, 17(4):471-522, Dec. 1985.
6. C. Clifton and G. T. Leavens. MiniMAO1: An imperative core language for studying aspect-oriented reasoning. Science of Computer Programming, 63(3):321-374, 2006.
7. A. Colyer. Implementing caching with AspectJ. Blog entry: http://www.aspectprogrammer.org/blogs/adrian/, June 2004.
8. A. Colyer et al. The AspectJ development environment guide. Available at http://www.eclipse.org/aspectj/doc/released/devguide/, 2002.
9. A. Colyer et al. The AspectJ 5 development kit developer's notebook. Available at http://www.eclipse.org/aspectj/doc/released/adk15notebook/, Dec. 2005.
10. B. De Fraine, M. Südholt, and V. Jonckers. Formal semantics of flexible and safe pointcut/advice bindings. Technical Report SSEL 02/2007/a, Vrije Universiteit Brussel, Oct. 2007. Available at http://ssel.vub.ac.be/files/ formal07a.pdf.
11. E. Ernst and D. H. Lorenz. Aspects and polymorphism in AspectJ. In Akşit [1], pages 150-157.
12. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison-Wesley, 1995.
13. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification. Addison-Wesley Professional, third edition, June 2005.
14. S. Hanenberg and R. Unland. Parametric introductions. In Akşit [1], pages 80-89.
15. J. Hannemann and G. Kiczales. Design pattern implementation in Java and AspectJ. In Proc. of OOPSLA '02, pages 161-173. ACM Press, 2002.
16. A. Igarashi, B. Pierce, and P. Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In Proc. of OOPSLA '99, pages 132-146. ACM Press, Oct. 1999.
17. R. Jagadeesan, A. Jeffrey, and J. Riely. Typed parametric polymorphism for aspects. Science of Computer Programming, 63(3):267-296, 2006.
18. R. Johnson et al. Spring Java/J2EE Application Framework. Home page at http://www.springframework.org/, 2004.
19. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of AspectJ. In J. L. Knudsen, editor, Proc. ECOOP 2001, LNCS 2072, pages 327-353, Berlin, June 2001. Springer-Verlag.
20. R. Laddad. AspectJ in Action: Practical Aspect-Oriented Programming. Manning, 2003.
21. J. Ligatti, D. Walker, and S. Zdancewic. A type-theoretic interpretation of pointcuts and advice. Science of Computer Programming, 63(3):240-266, 2006.
22. D. Lohmann, G. Blaschke, and O. Spinczyk. Generic advice: On the combination of AOP with generative programming in AspectC++. In Proc. of GPCE'04, volume 3286 of Springer-Verlag Lecture Notes in Computer Science, pages 55-74. Springer, Oct. 2004.
23. H. Masuhara, H. Tatsuzawa, and A. Yonezawa. Aspectual Caml: an aspect-oriented functional language. In Proc. of ICFP '05, pages 320-330. ACM Press, 2005.
24. M. Naftalin and P. Wadler. Java Generics and Collections. O'Reilly Media, Inc., Oct. 2006.
25. Object Management Group. Unified Modeling Language 2.0 Superstructure Specification, Feb. 2005.
26. K. Ostermann and M. Mezini. Conquering aspects with Caesar. In Akşit [1], pages 90-99.
27. R. Pawlak, R. Johnson, A. Popovici, et al. AOP Alliance (Java/J2EE AOP standard) version 1.0. Home page at http://aopalliance.sourceforge.net/, Mar. 2004.
28. M. Rinard, A. Salcianu, and S. Bugrara. A classification system and analysis for interactions in aspect-oriented programs. In Foundations of Software Engineering (FSE), pages 147-158. ACM, Oct. 2004.
29. D. Suvée and W. Vanderperren. JAsCo: An aspect-oriented approach tailored for component based software development. In Akşit [1], pages 21-29.
30. M. Torgersen, C. P. Hansen, E. Ernst, P. von der Ahé, G. Bracha, and N. M. Gafter. Adding wildcards to the Java programming language. In H. Haddad, A. Omicini, R. L. Wainwright, and L. M. Liebrock, editors, Proc. of the 2004 ACM Symposium on Applied Computing (SAC), pages 1289-1296. ACM Press, 2004.
31. M. Wand, G. Kiczales, and C. Dutchyn. A semantics for advice and dynamic join points in aspect-oriented programming. ACM Transactions on Programming Languages and Systems (TOPLAS), 26(5):890-910, 2004.