Static Analysis of Aspects

2nd International Conference on Aspect-Oriented Software Development

Volumn , Issue , 2003, Pages 30-39

  Sereni, Damien ^a   De Moor, Oege ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Analysis; Aspects; Compilers; Meet over all paths; Regular expressions

Indexed keywords

ABSTRACTING; COMPUTER SOFTWARE; JAVA PROGRAMMING LANGUAGE; MONITORING; PROGRAM COMPILERS;

POINTCUT DESIGNATORS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 0141886046     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/643603.643607     Document Type: Conference Paper

References (31)

1. M. Aksit, K. Wakita, J. Bosch, L. Bergmans, and A. Yonezawa. Abstracting object interactions using composition filters. In R. Guerraoui, O. Nierstrasz, and M. Riveill, editors, ECOOP '93 Workshop on Object-based Distributed Programming, volume 791 of Lecture Notes in Computer Science, pages 152-184. Springer, 1994.
2. U. Aßmann and A. Ludwig. Aspect Weaving by Graph Rewriting. In U. W. Eisenecker and K. Czarnecki, editors, Generative Component-based Software Engineering (GCSE), number 1799 in Lecture Notes in Computer Science, Erfurt, 1999.
3. R. C. Backhouse. Closure algorithms and the star-height problem of regular languages. Ph.d. thesis, Imperial College, London, 1975.
4. The Caml language, 2002. http://caml.inria.fr/.
5. Communications of the ACM. Volume 44:10, October 2001. Special issue on aspect-oriented programming.
6. J. H. Conway. Regular Algebra and Finite Machines. Chapman and Hall, 1971.
7. O. de Moor. Universal regular path queries. Higher-Order and Symbolic Computation, to appear.
8. O. de Moor, S. Drape, D. Lacey, and G. Sittampalam. Incremental program analysis via language factors. submitted for publication, 2002.
9. 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), 2002.
10. R. Douence, O. Motelet, and M. Sudholt. A formal definition of crosscuts. In A. Yonezawa and S. Macsuoka, editors, Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns (Reflection 2001), volume 2192 of Lecture Notes in Computer Science, pages 170-186. Springer, 2001.
11. M. Fowler. Refactoring: improving the design of existing code. Addison Wesley, 2000.
12. D. P. Friedman, M. Wand, and C. T. Haynes. Essentials of Programming Languages. MIT Press, second edition, 2001.
13. Y. Futamura. Partial evaluation of computation process - an approach to a compiler-compiler. Higher-order and Symbolic Computation, 12(4):381-391, 1999. Reprinted from Systems, Computers, Controls 2(5):45-50, 1971.
14. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, 1995.
15. D. Grove, G. Furrow, J. Dean, and C. Chambers. Call graph construction in object-oriented languages. In ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA). ACM Press, 1997.
16. W. Harrison and H. Ossher. Subject-oriented programming (a critique of pure objects). In A. Paepcke, editor, ACM Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA), pages 411-428. ACM Press, 1993.
17. C. A. R. Hoare. Quicksort. Computer Journal, 6:10-15, 1962.
18. G. Kiczales and J. des Rivieres. The Art of the Metaobject Protocol. MIT Press, 1991.
19. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersen, J. Palm, and W. G. Griswold. An overview of Aspect J. In J. L. Knudsen, editor, European Conference on Object-oriented Programming, volume 2072 of Lecture Notes in Computer Science, pages 327-353 Springer, 2001.
20. G. Kiczales, J. Lamping, A. Menhdekar, C. Maeda, C. Lopes, J. Loingties, and J. Irwin. Aspect-oriented programming. In M. Aksit and S. Matsuoka, editors, European Conference on Object-oriented Programming, volume 1241 of Lecture Notes in Computer Science, pages 220-242. Springer, 1997.
21. K. J. Lieberherr. Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns. PWS Publishing Company, 1996.
22. Y. A. Liu and F. Yu. Solving regular path queries. In Proceedings of the 6th International Conference on Mathematics of Program Construction (MPC), volume 2386 of Lecture Notes in Computer Science, pages 195-208. Springer Verlag, 2002.
23. H. Masuhara, G. Kiczales, and C. Dutchyn. Compilation semantics of aspect-oriented programs. In Foundations of Aspect-Oriented Languages (FOAL), Workshop at AOSD 2002, Technical Report TR #02-06, pages 17-26. Iowa State University, 2002.
24. T. Reps, S. Horwitz, and M. Sagiv. Precise interprocedural dataflow analysis via graph reachability. In pop195, pages 49-61, jan 1995.
25. D. Sereni. A definitional interpreter for aspects, http://www.comlab.or.ac.uk/oucl/research/areas/progtools/aspects, 2002.
26. V. Sundaresan, L. Hendren, C. Razafimahefa, R. Vallée-Rai, P. Lam, E. Gagnon, and C. Godin. Practical virtual method call resolution for Java. ACM SIGPLAN Notices, 35(10):264-280, 2000.
27. R. E. Tarjan. Fast algorithms for solving path problems. Journal of the Association for Computing Machinery, 28(3):594-614, 1981.
28. M. Wand, G. Kiczales, and C. Dutchyn. A semantics for advice and dynamic join points in aspect-oriented programming. In Foundations of Aspect-Oriented Languages (FOAL), Workshop at AOSD 2002, Technical Report TR #02-06, pages 1-8. Iowa State University, 2002.
29. M. Weiser. Program slicing. IEEE Transactions on Software Engineering, 10:352-357, 1984.
30. J. Zhao. Slicing aspect-oriented software. In 10th IEEE Workshop on Program Comprehension, pages 251-260, 2002.