Essential AOP: The A calculus

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

Volumn 6183 LNCS, Issue , 2010, Pages 101-125

  De Fraine, Bruno ^a   Ernst, Erik ^b   Südholt, Mario ^c  

^a VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

^b AARHUS UNIVERSITY   (Denmark)

^c ECOLE DES MINES DE NANTES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ASPECT-ORIENTED PROGRAMMING; COVER TYPES; DESIGN SPACES; INTERCEPT METHODS; LANGUAGE DESIGN; OBJECT-ORIENTED CODE; POINTCUT; TYPE VARIABLES;

CALCULATIONS; CLARIFICATION; CLARIFIERS; COMPUTER SYSTEMS PROGRAMMING;

OBJECT ORIENTED PROGRAMMING;

EID: 77955030818     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14107-2_6     Document Type: Conference Paper

References (28)

1. Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol.1241, pp. 220-242. Springer, Heidelberg (1997)
2. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.2072, pp. 327-353. Springer, Heidelberg (2001)
3. Brichau, J., et al.: Survey of aspect-oriented languages and execution models. Deliverable 12, Project IST-2-004349-NOE "AOSD-Europe" (May 2005)
4. De Fraine, B., Südholt, M., Jonckers, V.: StrongAspectJ: Flexible and safe pointcut/ advice bindings. In: Mezini, M. (ed.) Proceedings AOSD 2008, pp. 60-71. ACM Press, New York (March 2008)
5. Douence, R., Fradet, P., Südholt, M.: A framework for the detection and resolution of aspect interactions. In: Batory, D., Consel, C., Taha, W. (eds.) GPCE 2002. LNCS, vol.2487, pp. 173-188. Springer, Heidelberg (2002)
6. Douence, R., Fradet, P., Südholt, M.: Composition, reuse and interaction analysis of stateful aspects. In: Lieberherr, K. (ed.) Proceedings AOSD 2004, pp. 141-150. ACM Press, New York (March 2004)
7. Allan, C., Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhot́ak, O., de Moor, O., Sereni, D., Sittampalam, G., Tibble, J.: Adding trace matching with free variables to AspectJ. In: Johnson, R.E., Gabriel, R.P. (eds.) Proceedings OOPSLA 2005, pp. 345-364. ACM Press, New York (2005)
8. Douence, R., Motelet, O., Südholt, M.: A formal definition of crosscuts. In: Yonezawa, A., Matsuoka, S. (eds.) REFLECTION 2001. LNCS, vol.2192, pp. 170-186. Springer, Heidelberg (2001)
9. Gybels, K., Brichau, J.: Arranging language features for pattern-based crosscuts. [27] 60-69
10. Walker, R.J., Viggers, K.: Implementing protocols via declarative event patterns. In: Proc. ACM SIGSOFT Int' Symp. on Foundations of Software Engineering (FSE-12), pp. 159-169. ACM Press, New York (2004), also TR no. 2004-745-10, Uni. of Calgary, http://lsmr.cpsc.ucalgary.ca/papers/walker-fse- 2004.pdf
11. Ostermann, K., Mezini, M., Bockisch, C.: Expressive pointcuts for increased modularity. [28] 214-240
12. Lämmel, R.: A semantical approach to method-call interception. In: Kiczales, G. (ed.) Proceedings AOSD 2002, pp. 41-55. ACM Press, New York (April 2002)
13. Wand, M., Kiczales, G., Dutchyn, C.: A semantics for advice and dynamic join points in aspect-oriented programming. Trans. on Programming Languages and Systems (TOPLAS) 26(5), 890-910 (2004)
14. Clifton, C., Leavens, G.T.: MiniMAO1: An imperative core language for studying aspect-oriented reasoning. Science of Computer Programming 63(3), 321-374 (2006)
15. Jagadeesan, R., Jeffrey, A., Riely, J.: Typed parametric polymorphism for aspects. Science of Computer Programming 63(3), 267-296 (2006)
16. Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. Transactions on Programming Languages and Systems (TOPLAS) 23(3), 396-450 (2001)
17. Odersky, M., Sulzmann, M., Wehr, M.: Type inference with constrained types. Theory and Practice of Object Systems 5(1), 35-55 (1999)
18. Torgersen, M., Hansen, C.P., Ernst, E., von der Ah́e, P., Bracha, G., Gafter, N.M.: Adding wildcards to the Java programming language. In: Haddad, H., Omicini, A., Wainwright, R.L., Liebrock, L.M. (eds.) Proc. of the 2004 ACM Symposium on Applied Computing (SAC), pp. 1289-1296. ACM Press, New York (2004)
19. Bertot, Y., Cast́eran, P.: Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions. Texts in Theoretical Computer Science, vol.XXV. Springer, Heidelberg (2004)
20. Aydemir, B., Chargúeraud, A., Pierce, B.C., Pollack, R., Weirich, S.: Engineering formal metatheory. In: Proceedings POPL 2008, pp. 3-15. ACM Press, New York (2008)
21. De Fraine, B.: Language Facilities for the Deployment of Reusable Aspects. PhD thesis, Vrije Universiteit Brussel (June 2009), http://soft.vub.ac.be/soft/-media/members/brunodefraine/phd.pdf
22. Ligatti, J., Walker, D., Zdancewic, S.: A type-theoretic interpretation of pointcuts and advice. Science of Computer Programming 63(3), 240-266 (2006)
23. Aldrich, J.: Open modules: Modular reasoning about advice [28] 144-168
24. Ernst, E., Lorenz, D.H.: Aspects and polymorphism in Aspect J. [27] 150-157
25. Lorenz, D.H., Lieberherr, K., Ovlinger, J.: Aspectual collaborations: Combining modules and aspects. The Computer Journal 46(5), 542-565 (2003)
26. Mezini, M., Lieberherr, K.: Adaptive plug-and-play components for evolutionary software development. In: Proceedings OOPSLA 1998, pp. 97-116. ACM Press, New York (October 1998)
27. Aķsit, M. (ed.): Proc. 2nd Int' Conf. on Aspect-Oriented Software Development (AOSD-2003). ACM Press, New York (March 2003)
28. Black, A.P. (ed.): ECOOP 2005. LNCS, vol.3586. Springer, Heidelberg (2005)