A Semantical Approach to Method-Call Interception

1st International Conference on Aspect-Oriented Software Development

Volumn , Issue , 2002, Pages 41-55

  Lämmel, Ralf ^a,b  

^a CWI   (Netherlands)

^b VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

JAVA PROGRAMMING LANGUAGE; NETWORK PROTOCOLS; SEMANTICS;

METHOD-CALL INTERCEPTION (MCI);

OBJECT ORIENTED PROGRAMMING;

EID: 0141761341     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/508387.508392     Document Type: Conference Paper

References (23)

1. I. Attali, D. Caromel, and S. O. Ehmety. A natural semantics for Eiffel dynamic binding. ACM Transactions on Programming Languages and Systems, 18(6):711-729, Nov. 1996.
2. M. Auguston. Program behavior model based on event grammar and its application for debugging automation. In M. Ducassé, editor, AADEBUG, 2nd International Workshop on Automated and Algorithmic Debugging, pages 277-291, Saint Malo, France, 22-24 May 1995. IRISA-CNRS.
3. E. Avdičaušević, M. Lenič, M. Mernik, and V. Žumer. Separate Compilation of an Aspect-Oriented Language. Draft; University of Maribor, 2001.
4. L. Bougé and N. Francez. A compositional approach to superimposition. In ACM, editor, Proc. of the 1988 conference on Principles of programming languages (POPL'88), January 13-15, 1988, San Diego, CA, pages 240-249, New York, NY, USA, 1988. ACM Press.
5. S. Brandt and R. W. Schmidt. The Design of a Meta-Level Architecture for the BETA Language. In Proceedings of META '95: Workshop on Advances in Metaobject Protocols and Reflection at ECOOP'95, Aug. 1995.
6. K. Bruce, A. Schuett, and R. Gent. PolyTOIL: A type-safe polymorphic object-oriented language. In W. Olthoff, editor, ECOOP'95-Object-Oriented Programming, 9th European Conference, volume 952 of LNCS, pages 27-51, Aarhus, Denmark, 7-11 Aug. 1995. Springer-Verlag. Full paper appeared as technical report.
7. R. Douence, O. Motelet, and M. Südholt. A formal definition of crosscuts. In Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns (Reflection 2001), volume 2192 of LNCS, pages 170-186. Springer-Verlag, Sept. 2001.
8. M. Flatt, S. Krishnamurthi, and M. Felleisen. A Programmer's Reduction Semantics for Classes and Mixins. In J. Alves-Foss, editor, Formal Syntax and Semantics of Java, volume 1523 of LNCS, pages 241-270. Springer-Verlag, 1999.
9. I. R. Formen. JEM: A proposal for extending Java with metaclasses. Draft; IBM Austin TX, 2001.
10. I. R. Forman and S. H. Danforth. Putting metaclasses to work: a new dimension in object-oriented programming. Addison-Wesley Longman Publishing Co., Inc., Redwood City, CA, 1999.
11. P. Fradet and M. Südholt. AOP: towards a generic framework using program transformation and analysis. In Position papers of the Aspect-Oriented Programming Workshop at ECOOP'98, July 1998.
12. S. Katz. A superimposition control construct for distributed systems. ACM Transactions on Programming Languages and Systems, 15(2):337-356, Apr. 1993.
13. G. Kiczales, J. des Rivieres, and D. Bobrow. The Art of the Metaobject Protocol. MIT Press, Cambridge, MA, USA, 1991.
14. Q. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In M. Aksit and S. Matsuoka, editors, Proc. ECOOP'97-Object-Oriented Programming, 11th European Conference, volume 1241 of LNCS, pages 220-242, Jyväskylä, Finland, 9-13 June 1997. Springer-Verlag.
15. R. Lämmel, Declarative aspect-oriented programming. In O. Danvy, editor, Proc. 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'99), San Antonio (Texas), BRICS Notes Series NS-99-1, pages 131-146, Jan. 1999.
16. R. Lämmel. Semantics of Method Call Interception. In Proc. Workshop Aspekt-Orientierung der GI-Fachgrupppe 2.1.9 Objektorientierte Software-Entwicklung, 3.- 4. Mai 2001, Universität Paderborn, 2001. Technical Report tr-ri-01-223 Universität-Gesamthochschule Paderborn.
17. H. Masuhara and A. Yonezawa. Design and partial evaluation of meta-objects for a concurrent reflective language. LNCS, 1445:418-439, 1998.
18. W. D. Meuter. Monads as a theoretical foundation for AOP. In S. Mitchell and J. Bosch, editors, Workshop Reader, ECOOP'97, volume 1357 of LNCS. Springer-Verlag, 1998.
19. J. Palsberg and M. Schwartzbach. Object-Oriented Type Systems. John Wiley & Sons, 1994.
20. J. Pryor and N. Bastán. A Reflective Architecture for the Support of Aspect-Oriented Programming in Smalltalk. In A. Moreira and D. Demeyer, editors, Object-Oriented Technology: ECOOP'99 Workshop Reader, volume 1743 of LNCS. Springer-Verlag, 1999.
21. P. Wadler. The essence of functional programming. In Conference record of POPL'92, pages 1-14. ACM Press, 1992.
22. M. Wand, G. Kiczales, and C. Dutchyn. A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming, Jan. 2002. To appear in FOOL 9.
23. AspectJ.org Site © XEROX Corporation, 2002. http://aspectj.org.