Expressive pointcuts for increased modularity

Lecture Notes in Computer Science

Volumn 3586, Issue , 2005, Pages 214-240

  Ostermann, Klaus ^a   Mezini, Mira ^a   Bockisch, Christoph ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; COMPUTER PROGRAMMING LANGUAGES; INFORMATION ANALYSIS; PROBLEM SOLVING; SEMANTICS;

ASPECT-ORIENTED PROGRAMMING; MODULAR REASONING; POINTCUTS; STATIC TYPE SYSTEMS;

OBJECT ORIENTED PROGRAMMING;

EID: 26444475843     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11531142_10     Document Type: Conference Paper

References (38)

1. J. Aldrich. Open modules: Modular reasoning about advice. In ECOOP'05: European Conference on Object-Oriented Programming. Springer LNCS, 2005.
2. Alpha project, http://www.st.informatik.tu-darmstadt.de/pages/projects/ alpha/.
3. J. Brichau, K. Gybels, and R. Wuyts. Towards a linguistic symbiosis of an object-oriented and a logic programming language. In Proceedings of the Workshop on Multiparadigm Programming with Object-Oriented Languages (MPOOL 2002), 2002.
4. J. Brichau, K. Mens, and K. D. Voider. Building composable aspect-specific languages with logic metaprogramming. In Generative Programming and Component Engineering (GPCE'02). Springer LNCS, 2002.
5. S. Chiba and K. Nakagawa. Josh: An Open AspectJ-like Language. In Proceedings of AOSD 2004, Lancaster, England, 2004. ACM Press.
6. S. Chiba and M. Nishizawa. An Easy-to-Use Toolkit for Efficient Java Bytecode Translators. In Proceedings of GPCE '03, Lecture Notes in Computer Science, pages 364-376. Springer, 2003.
7. M. Codish and H. Søndergaard. Meta-circular abstract interpretation in Prolog. In T. Mogensen, D. Schmidt, and I. H. Sudburough, editors, The Essence of Computation: Complexity, Analysis, Transformation, LNCS 2566. Springer, 2002.
8. P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Symposium on Principles of Programming Languages. ACM Press, 1977.
9. W. De Pauw, D. Kimelman, and J. M. Vlissides. Modeling object-oriented program execution. In ECOOP '94: Proceedings of the 8th European Conference on Object-Oriented Programming, pages 163-182, London, UK, 1994. Springer-Verlag.
10. R. Douence, P. Fradet, and M. Südholt. A framework for the detection and resolution of aspect interactions. In Proceedings of the ACM SIGPLAN/SIGSOFT Conference on Generative Programming and Component Engineering (GPCE'02), volume 2487 of LACS. Springer-Verlag, 2002.
11. R. Douence, O. Motelet, and M. Südholt. A formal definition of crosscuts. In Proc. of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns (Reflection 2001), volume 2192 of LNCS. Springer-Verlag, 2001.
12. S. Drossoupolou. Lecture notes on the L2 calculus. http://www.doc.ic.ac. uk/~scd/Teaching/LlL2.pdf.
13. M. Eichberg, M. Mezini, and K. Ostermann. Pointcuts as functional queries. In Second ASIAN Symposium on Programming Languages and Systems (APLAS). LNCS, 2004.
14. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison Wesley, 1995.
15. K. Gybels and J. Brichau. Arranging language features for more robust pattern-based cross-cuts. In Proceedings of the 2nd international conference on Aspect-oriented software development, pages 60-69. ACM Press, 2003.
16. J. Hannemann and G. Kiczales. Design pattern implementation in Java and AspectJ. In Proceedings OOPSLA '02. ACM SIGPLAN Notices 37(11), pages 161-173. ACM, 2002.
17. E. Hilsdale and J. Hugunin. Advice Weaving in AspectJ. In Proc. of AOSD'04. ACM Press, 2004.
18. E. Jahier and M. Ducasse. Generic program monitoring by trace analysis. In Theory and Practice of Logic Programming Journal, volume 2(4-5). Cambridge University Press, 2002.
19. D. Janzen and K. De Volder. Navigating and querying code without getting lost. In Proceedings of AOSD'03. ACM Press, 2003.
20. G. Kiczales. Keynote talk at AOSD '03, 2003.
21. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of AspectJ. In Proceedings of ECOOP '01, 2001.
22. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In Proceedings ECOOP'97, LNCS 1241, pages 220-242. Springer, 1997.
23. G. Kizcales and M. Mezini. Aspect-oriented programming and modular reasoning. In Proceedings International Conference on Software Engineering (ICSE) '05. ACM, 2005.
24. K. Klose and K. Ostermann. Back to the future: Pointcuts as predicates over traces. In Workshop on Foundations of Aspect-Oriented Languages (FOAL) at AOSD'05, 2005.
25. D. B. Lange and Y. Nakamura. Interactive visualization of design patterns can help in framework understanding. In OOPSLA '95: Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications, pages 342-357, New York, NY, USA, 1995. ACM Press.
26. M. Leuschel, J. Jørgensen, W. Vanhoof, and M. Bruynooghe. Offline specialisation in Prolog using a hand-written compiler generator. In Theory and Practice of Logic Programming, volume 4, pages 139-191, 2004.
27. C. V. Lopes, P. Dourish, D. H. Lorenz, and K. Lieberherr. Beyond AOP: Toward naturalistic programming. In Proceedings Onward! Track at OOPSLA'03, Anaheim, 2003. ACM Press.
28. H. Masuhara, G. Kiczales, and C. Dutchyn. A compilation and optimization model for aspect-oriented programs. In Proceedings of Compiler Construction (CC2003), LNCS 2622. Springer, 2003.
29. M. Mezini and K. Ostermann. Conquering aspects with Caesar. In Proceedings Conference on Aspect-Oriented Software Development (AOSD) '03, pages 90-99. ACM, 2003.
30. D. L. Parnas. A technique for software module specification with examples. Communications of the ACM, 15(5):330-336, 1972.
31. S. P. Reiss and M. Renieris. Encoding program executions. In International Conference on Software Engineering, Toronto, Ontario, Canada, 2001. IEEE.
32. T. Rho and G. Kniesel. Uniform genericity for aspect languages. Technical Report IAITR-2004-4, Computer Science Department III, University of Bonn, Dec 2004.
33. T. Richner and S. Ducasse. Recovering high-level views of object-oriented applications from static and dynamic information. In ICSM '99: Proceedings of the IEEE International Conference on Software Maintenance, Washington, DC, USA, 1999. IEEE Computer Society.
34. K. Sakurai, H. Masuhara, N. Ubayashi, S. Matsuura, and S. Komiya. Association aspects. In Proc. of AOSD'04. ACM Press, 2004.
35. D. Sereni and O. de Moor. Static analysis of aspects. In Proceedings of AOSD'03. ACM, 2003.
36. L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, 1994.
37. K. D. Voider and T. D'Hondt. Aspect-Oriented Logic Meta Programming. In Conf. MetaLevel Architectures and Reflection, LNCS 1616. Springer, 1999.
38. R. J. Walker and K. Viggers. Implementing protocols via declarative event patterns. In Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE-12), 2004.