Delegation-based semantics for modularizing crosscutting concerns

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2008, Pages 525-542

  Schippers, Hans ^a   Janssens, Dirk ^a   Haupt, Michael ^b   Hirschfeld, Robert ^b  

^a UNIVERSITY OF ANTWERP   (Belgium)

^b UNIVERSITY OF POTSDAM   (Germany)

Author keywords

Aspect oriented semantics; Context oriented programming; Modularization; Semantic mappings

Indexed keywords

ASPECT-ORIENTED PROGRAMMING; ASPECT-ORIENTED SEMANTICS; CLASS-BASED; CONTEXT-ORIENTED PROGRAMMING; CORE FEATURES; CROSSCUTTING CONCERNS; FORMAL SEMANTICS; HIGH-LEVEL PROGRAMMING LANGUAGES; MACHINE MODELS; MODULARIZATION; OBJECT-ORIENTED; OPERATIONAL SEMANTICS; POINTCUT; SEMANTIC MAPPINGS;

COMPUTER SYSTEMS PROGRAMMING; FORMAL METHODS; HIGH LEVEL LANGUAGES; INFORMATION THEORY; LINGUISTICS; MACHINE ORIENTED LANGUAGES; MODULAR CONSTRUCTION; PACKET NETWORKS; SEMANTICS;

OBJECT ORIENTED PROGRAMMING;

EID: 63549107612     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1449764.1449806     Document Type: Conference Paper

References (24)

1. Jonathan Aldrich. Open Modules: A Proposal for Modular Reasoning in Aspect-oriented Programming. In Foundations of Aspect Languages, 2004.
2. Christopher Anderson and Sophia Drossopoulou. δ - An Imperative Object-based Calculus with Delegation. In Proc. USE'02, Malaga, 2002.
3. Lodewijk Bergmans and Mehmet Aksit. Composing Crosscutting Concerns Using Composition Filters. Commun. ACM, 44(10):51-57, 2001.
4. Curtis Clifton and Gary T. Leavens. MiniMAOl - An Imperative Core Language for Studying Aspect-oriented Reasonings. Sci. Comput. Program., 63(3):321-374, 2006.
5. Pascal Costanza and Robert Hirschfeld. Language Constructs for Context-oriented Programming: An Overview of ContextL. In Dynamic Languages Symposium (DLS) '05, co-organised with OOPSLA'05. ACM Press, 2005.
6. Pascal Costanza, Robert Hirschfeld, and Wolfgang De Meuter. Efficient Layer Activation for Switching Contextdependent Behavior. In JMLC, pages 84-103, 2006.
7. Daniel S. Dantas, David Walker, Geoffrey Washburn, and Stephanie Weirich. AspectML: A polymorphic aspectoriented functional programming language. ACM Trans. Program. Lang. Syst., 30(3):1-60, 2008.
8. Simplice Djoko Djoko, Remi Douence, Pascal Fradet, and Didier Le Botlan. CASB: Common Aspect Semantics Base. Technical Report AOSD-Europe Deliverable D41, AOSD- Europe-INRIA-7, INRIA, France, 10 February 2006.
9. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns - Elements of Reusable Objectoriented Software. Addison-Wesley, 1994.
10. Michael Haupt. Virtual Machine Support for Aspect-oriented Programming Languages. PhD thesis, Software Technology Group, Darmstadt University of Technology, 2006.
11. Michael Haupt, Mira Mezini, Christoph Bockisch, Tom Dinkelaker, Michael Eichberg, and Michael Krebs. An Execution Layer for Aspect-oriented Programming Languages. In Proc. VEE 2005. ACM Press, June 2005.
12. Michael Haupt and Hans Schippers. A Machine Model for Aspect-oriented Programming. In ECOOP 2007 - Objectoriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings, volume 4609 of Lecture Notes in Computer Science, pages 501-524. Springer, 2007.
13. Robert Hirschfeld, Pascal Costanza, and Oscar Nierstrasz. Context-oriented Programming. Journal of Object Technology (JOT), 7(3):125-151, March-April 2008.
14. Ralf Lämmel. A Semantical Approach to Method-call Interception. In Proc. AOSD'02, pages 41-55. ACM Press, 2002.
15. Hidehiko Masuhara and Gregor Kiczales. Modeling Crosscutting in Aspect-oriented Mechanisms. In Luca Cardelli, editor, ECOOP, volume 2743 of Lecture Notes in Computer Science, pages 2-28. Springer, 2003.
16. Hidehiko Masuhara, Hideaki Tatsuzawa, and Akinori Yonezawa. Aspectual Caml - An Aspect-oriented Functional Language. In ICFP '05: Proceedings of the tenth ACM SIGPLAN international conference on Functional programming, pages 320-330, New York, NY, USA, 2005. ACM.
17. Todd D. Millstein and Craig Chambers. Modular Statically Typed Multimethods. In ECOOP '99: Proceedings of the 13th European Conference on Object-oriented Programming, pages 279-303, London, UK, 1999. Springer-Verlag.
18. Harold Ossher. A Direction for Research on Virtual Machine Support for Concern Composition. In Proc. Workshop VMIL '07. ACM Press, 2007.
19. Andrei Popovici, Thomas Gross, and Gustavo Alonso. Dynamic Weaving for Aspect-oriented Programming. In Gregor Kiczales, editor, Proc. AOSD 2002. ACM Press, 2002.
20. Andrei Popovici, Thomas Gross, and Gustavo Alonso. Justin-Time Aspects. In Proc. AOSD 2003. ACM Press, 2003.
21. Mark C. Skipper. Formal Models for Aspect-oriented Software Development. PhD thesis, Imperial College, London, 2004.
22. Eric Tanter and Jacques Noyé. A Versatile Kernel for Multi- Language AOP. In Proc. GPCE'05. Springer, 2005.
23. David Walker, Steve Zdancewic, and Jay Ligatti. A Theory of Aspects. In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, pages 127-139, New York, NY, USA, 2003. ACM.
24. Mitchell Wand, Gregor Kiczales, and Christopher Dutchyn. A Semantics for Advice and Dynamic Join Points in Aspectoriented Programming. ACM Trans. Program. Lang. Syst., 26(5):890-910, 2004.