A machine model for aspect-oriented programming

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

Volumn 4609 LNCS, Issue , 2007, Pages 501-524

  Haupt, Michael ^a   Schippers, Hans ^b,c  

^a UNIVERSITY OF POTSDAM   (Germany)

^b UNIVERSITY OF ANTWERP   (Belgium)

^c RESEARCH FOUNDATION FLANDERS FWO   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

PROBLEM SOLVING; SEMANTICS; VIRTUAL REALITY;

COMPILATION TARGET; DYNAMIC NOTION; MACHINE MODELS;

OBJECT ORIENTED PROGRAMMING;

EID: 38149097062     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73589-2_24     Document Type: Conference Paper

References (68)

1. Allan, C., et al: Adding Trace Matching with Free Variables to AspectJ. In: Proc. OOPSLA 2005, pp. 345-364. ACM Press, New York (2005)
2. Anderson, C., Drossopoulou, S.: δ - an imperative object based calculus with delegation. In: Proc. USE'02, Malaga (2002)
3. Aracic, I., Gasiunas, V., Mezini, M., Ostermann, K.: Overview of caesarj. In: Rashid, A., Aksit, M. (eds.) Transactions on Aspect-Oriented Software Development I. LNCS, vol. 3880, Springer, Heidelberg (2006)
4. AspectJ Home Page. http://www.eclipse.org/aspectj/
5. AspectWerkz Home Page. http://aspectwerkz.codehaus.org/
6. Bergmans, L., Akşit, M.: Principles and Design Rationale of Composition Filters. In: [27]
7. Bockisch, C., et al.: Adapting VM Techniques for Seamless Aspect Support. In: Proc. OOPSLA 2006, ACM Press, New York (2006)
8. Bockisch, C., Haupt, M., Mezini, M.: Dynamic Virtual Join Point Dispatch. In: Workshop on Software Engineering Properties of Languages and Aspect Technologies (SPLAT '06) (2006)
9. Bockisch, C., Haupt, M., Mezini, M., Ostermann, K.: Virtual Machine Support for Dynamic Join Points. In: Proc. AOSD 2004, ACM Press, New York (2004)
10. Bockisch, C., Kanthak, S., Haupt, M., Arnold, M., Mezini, M.: Efficient Control Flow Quantification. In: Proc. OOPSLA 2006, ACM Press, New York (2006)
11. Bonér, J.: What Are the Key Issues for Commercial AOP Use: how Does AspectWerkz Address Them?. In: Proc. AOSD 2004, pp. 5-6. ACM Press, New York (2004)
12. Borning, A.: Classes versus Prototypes in Object-Oriented Languages. In: Noble, J., Taivalsaari, A., Moore, I. (eds.) Prototype-Based Programming. Concepts, Languages and Applications, Springer, Heidelberg (1999)
13. Brichau, J., et al.: Report Describing Survey of Aspect Languages and Models. Technical Report AOSD-Europe Deliverable D12, AOSD-Europe-VUB-01, Vrije Universiteit Brussel, 17 May, 2005. (2005), http://www.aosd-europe.net/ deliverables/d12.pdf
14. Brichau, J., et al.: An Initial Metamodel for Aspect-Oriented Programming Languages. Technical Report AOSD-Europe Deliverable D39, AOSD-Europe-VUB-12, Vrije Universiteit Brussel, 27, 2006. (February 2006), http://www.aosd-europe. net/deliverables/d39.pdf
15. Bruns, G., Jagadeesan, R., Jeffrey, A., Riely, J.: μABC: A Minimal Aspect Calculus. In: Gardner, P., Yoshida, N. (eds.) CONCUR 2004. LNCS, vol. 3170, pp. 209-224. Springer, Heidelberg (2004)
16. Bockisch, C., Haupt, M., Mezini, M., Mitschke, R.: Envelope-based Weaving for Faster Aspect Compilers. In: Proc. NetObjectDays 2005, GI (2005)
17. CaesarJ Home Page, http://caesarj.org/
18. Chambers, C.: The Design and Implementation of the Self Compiler, an Optimizing Compiler for Object-Oriented Programming Languages. PhD thesis, Department of Computer Science, Stanford University (1992)
19. Clifton, C., Leavens, G., Wand, M.: Parameterized Aspect Calculus: a Core Calculus for the Direct Study of Aspect-Oriented Languages (2003), ftp://ftp.ces.neu.edu/pub/people/wand/papers/clw-03.pdf
20. Clifton, C., Leavens, G.T., Chambers, C., Millstein, T.: MultiJava: Modular Open Classes and Symmetric Multiple Dispatch for Java. In: Proc. OOPSLA'00, pp. 130-145. ACM Press, New York (2000)
21. Costanza, P., Hirschfeld, R.: Language Constructs for Context-oriented Programming: An Overview of ContextL. In: Dynamic Languages Symposium (DLS) '05, co-organised with OOPSLA'05, ACM Press, New York (2005)
22. Dinkelaker, T., et al.: Inventory of Aspect-Oriented Execution Models. Technical Report AOSD-Europe Deliverable D40, AOSD-Europe-TUD-4, Darmstadt University of Technology, 28 February, 2006 (2006), http://www.aosd-europe.net/ deliverables/d40.pdf
23. Djoko, S.D., Douence, R., Fradet, P., Le Botlan, D.: CASB: Common Aspect Semantics Base. Technical Report AOSD-Europe Deliverable D41, AOSD-Europe-INRIA-7, INRIA, France, 10 February 2006 (2006)
24. Dmitriev, M.: Towards Flexible and Safe Technology for Runtime Evolution of Java Language Applications. In: Workshop on Engineering Complex Object-Oriented Systems for Evolution, Proceedings (at OOPSLA 2001) (2001)
25. Douence, R., Motelet, O., Südholt, M.: A Formal Definition of Crosscuts. In: Yonezawa, A., Matsuoka, S. (eds.) Metalevel Architectures and Separation of Cross-cutting Concerns. LNCS, vol. 2192, pp. 170-184. Springer, Heidelberg (2001)
26. Ernst, E., Kaplan, C., Chambers, C.: Predicate Dispatching: A Unified Theory of Dispatch. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol. 1445, pp. 186-211. Springer, Heidelberg (1998)
27. Filman, R.E., Elrad, T., Clarke, S., Akşit, M.: Aspect-Oriented Software Development. Addison-Wesley, Reading (2005)
28. Filman, R.E., Friedman, D.P.: Aspect-Oriented Programming is Quantification and Obliviousness. Technical Report 01.12, RIACS, May 2001 (2001)
29. Filman, R.E., Havelund, K.: Source-Code Instrumentation and Quantification of Events. In: Leavens, G.T., Cytron, R. (eds.) FOAL 2002 Workshop (at AOSD 2002), pp. 45-49 (2002)
30. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns - Elements of Reusable Object-Oriented Software, pp. 87-95. Addison-Wesley, Reading (1994)
31. Gosling, J., Joy, B., Steele, G.: The Java Language Specification. Addison-Wesley, Reading (1996)
32. Hanenberg, S., Hirschfeld, R., Unland, R.: Morphing Aspects: Incompletely Woven Aspects and Continuous Weaving. In: Proc. AOSD 2004, ACM Press, New York (2004)
33. Haupt, M.: Virtual Machine Support for Aspect-Oriented Programming Languages. PhD thesis, Software Technology Group, Darmstadt University of Technology (2006)
34. Haupt, M., Mezini, M., Bockisch, C., Dinkelaker, T., Eichberg, M., Krebs, M.: An Execution Layer for Aspect-Oriented Programming Languages. In: Proc. VEE 2005, 2005, ACM Press, New York (2005)
35. Hilsdale, E., Hugunin, J.: Advice Weaving in Aspect J. In: Proc. AOSD 2004, ACM Press, New York (2004)
36. Hirschfeld, R.: Aspects - Aspect-Oriented Programming with Squeak. In: Aksit, M., Mezini, M., Unland, R. (eds.) NODe 2002. LNCS, vol. 2591, pp. 216-232. Springer, Heidelberg (2003)
37. Io Home Page, http://www.iolanguage.com/
38. Jagadeesan, R., Jeffrey, A., Riely, J.: A Calculus of Untyped Aspect-Oriented Programs. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol. 2743, Springer, Heidelberg (2003)
39. JAsCo Home Page, http://ssel.vub.ac.be/jasco/
40. Johnson, R., Hoeller, J.: Expert One-on-One J2EE Development without EJB. Wiley, Chichester (2004)
41. Java Platform Debugger Architecture Home Page, http://java.sun.com/j2se/ 1.4.1/docs/guide/jpda/index.html
42. 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)
43. Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C.V., 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)
44. Kojarski, S., Lorenz, D.H.: Pluggable aop: Designing aspect mechanisms for third-party composition. In: Proc. OOPSLA '05, pp. 247-263. ACM Press, New York (2005)
45. Lämmel, R.: A semantical approach to method-call interception. In: Proc. AOSD'02, pp. 41-55. ACM Press, New York (2002)
46. Lieberman, H.: Using prototypical objects to implement shared behavior in object-oriented systems. In: Proc. OOPSLA 1986, pp. 214-223. ACM Press, New York (1986)
47. Lindholm, T., Yellin, F.: The Java Virtual Machine Specification, 2nd edn. Addison-Wesley, Reading (1999)
48. Masuhara, H., Kiczales, G.: Modeling Crosscutting Aspect-Oriented Mechanisms. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol. 2743, Springer, Heidelberg (2003)
49. Masuhara, H., Kiczales, G., Dutchyn, C.: A Compilation and Optimization Model for Aspect-Oriented Programs. In: Hedin, G. (ed.) C.C. 2003 and ETAPS 2003. LNCS, vol. 2622, pp. 46-60. Springer, Heidelberg (2003)
50. Millstein, T.: Practical predicate dispatch. In: Proc. OOPSLA'04, ACM Press, New York (2004)
51. Navarro, L.D.B., Südholt, M., Vanderperren, W., De Fraine, B., Suvée, D.: Explicitly distributed aop using awed. In: Proc. AOSD'06, pp. 51-62. ACM Press, New York (2006)
52. Nicoara, A., Alonso, G.: Dynamic AOP with PROSE, http://www.iks.inf.ethz. ch/publications/publications/files/PR~OSE-ASMEA05.pdf
53. Orleans, D.: Incremental programming with extensible decisions. In: Proc. AOSD'02, pp. 56-64. ACM Press, New York (2002)
54. Ossher, H.: A direction for research on virtual machine support for concern composition. In: Proc. Workshop VMIL '07, ACM Press, New York (2007)
55. Ostermann, K., Mezini, M., Bockisch, C.: Expressive Pointcuts for Increased Modularity. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol. 3586, Springer, Heidelberg (2005)
56. Popovici, A., Gross, T., Alonso, G.: Dynamic Weaving for Aspect-Oriented Programming. In: Kiczales, G. (ed.) Proc. AOSD 2002, ACM Press, New York (2002)
57. Popovici, A., Gross, T., Alonso, G.: Just-in-Time Aspects. In: Proc. AOSD 2003, ACM Press, New York (2003)
58. PROSE Home Page, http://prose.ethz.ch
59. Rajan, H., Sullivan, K.: Eos: Inst anee-level aspects for integrated system design. In: ESEC/FSE-11: Proceedings of the 9th European Software Engineering Conference, held jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 297-306. ACM Press, New York (2003)
60. Sakurai, K., Masuhara, H., Ubayashi, N., Matsuura, S., Komiya, S.: Association aspects. In: Proc. AOSD'04, pp. 16-25 (2004)
61. Self Home Page, http://research.sun.com/self/
62. Spring AOP (from the Spring reference documentation), http://www.springframework.org/docs/reference/aop.html
63. Strongtalk Home Page, http://www.strongtalk.org/
64. Ungar, D., Chambers, C., Chang, B.-W., Hölzle, U.: Organizing programs without classes. Lisp Symb. Comput. 4(3) (1991)
65. Ungar, D., Smith, R.B.: Self: The Power of Simplicity. In: OOPSLA '87 Conference Proceedings, pp. 227-241. ACM Press, New York (1987)
66. Vanderperren, W., Suvée, D., Cibrán, M.A., De Fraine, B.: Stateful Aspects in JAsCo. In: Gschwind, T., Aßmann, U., Nierstrasz, O. (eds.) SC 2005. LNCS, vol. 3628, pp. 167-181. Springer, Heidelberg (2005)
67. Vanderperren, W., Suvée, D., Verheecke, B., Cibrán, M.A., Jonckers, V.: Adaptive programming in jasco. In: Proc. AOSD'05, pp. 75-86. ACM Press, New York (2005)
68. Wand, M., Kiczales, G., Dutchyn, C.: A semantics for advice and dynamic join points in aspect-oriented programming. ACM Trans. Program. Lang. Syst. 26(5), 890-910 (2004)