A classification system and analysis for aspect-oriented programs

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2004, Pages 147-158

  Rinard, Martin ^a   Sǎlcianu, Alexandru ^a   Bugrara, Suhabe ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Aspect oriented programming; Program analysis

Indexed keywords

ACTUATORS; BENCHMARKING; CODES (SYMBOLS); COMPUTATIONAL COMPLEXITY; COMPUTER ARCHITECTURE; COMPUTER PROGRAMMING LANGUAGES; DATABASE SYSTEMS;

ASPECT ORIENTED PROGRAMMING; CLASSIFICATION SYSTEMS; CROSSCUTTING; PROGRAM ANALYSIS;

OBJECT ORIENTED PROGRAMMING;

EID: 20344393644     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1041685.1029917     Document Type: Conference Paper

References (29)

1. C. S. Ananian. MIT FLEX compiler infrastructure for Java. Available from http://www.flex-compiler.lcs.mit.edu.
2. D. Batory and S. O'Malley. The design and implementation of hierarchical software systems with reusable components. ACM Transactions on Software Engineering and Methodology, 1(4), Oct. 1992.
3. L. Bergmans and M. Aksit. Composing crosscutting concerns using composition filters. Communications of the ACM, Oct. 2001.
4. B. Blanchet. Escape analysis for object oriented languages. Application to Java. In Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, Denver, CO, Nov. 1999.
5. J. Bogda and U. Hoelzle. Removing unnecessary synchronization in Java. In Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, Denver, CO, Nov. 1999.
6. D. Chase, M. Wegman, and F. Zadek. Analysis of pointers and structures. In Proceedings of the SIGPLAN '90 Conference on Program Language Design and Implementation, pages 296-310, White Plains, NY, June 1990. ACM, New York.
7. J. Choi, M. Gupta, M. Serrano, V. Sreedhar, and S. Midkiff. Escape analysis for Java. In Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, Denver, CO, Nov. 1999.
8. C. Clifton and G. Leavens. Observers and assistants: A proposal for modular aspect-oriented reasoning. Technical Report TR 02-04, Department of Computer Science, Iowa State University, Mar. 2002.
9. P. Cousot and R. Cousot. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In Proc. 4th POPL, 1977.
10. K. Fisler and S. Krishnamurthi. Modular verification of collaboration-based software designs. In Proceedings of the Joint European Software Engineering Conference and ACM SIGSOFT Symposium on the Foundations of Software Engineering, Vienna, Austria, Sept. 2001.
11. G. Kiczales etal. AspectJ compiler. Available from http://eclipse.org/ aspectj.
12. M. Kersten and G. Murphy. Atlas: a case study in building a web-based learning environment using aspect-oriented programming. In Proceedings of the 1999 Conference on Object-Oriented Programming Systems, Languages and Applications, Denver, CO, Nov. 1999.
13. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. Griswold. Getting started with AspectJ. Communications of the ACM, 15(12), Oct. 2001.
14. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. Griswold. An overview of AspectJ. In Proceedings of the 2001 European Conference on Object-Oriented Programming, Budapest, Hungary, June 2001.
15. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J. Loingtier, and J. Irwin. Aspect-oriented programming. In Proceedings of the 1997 European Conference on Object-Oriented Programming, Jyvaskyla, Finland, June 1997.
16. I. Kiselev. Aspect-Oriented Programming with AspectJ. Sams Publishing, 2002.
17. R. Laddad. ApectJ in Action. Manning Publications Company, Greenwich, CT, 2003.
18. H. Li, S. Krishnamurthi, and K. Fisler. Verifying Cross-Cutting Features as Open Systems. Manning Publications Company, Greenwich, CT, 2003.
19. K. Lieberherr, D. Lorenz, and M. Mezini. Programming with aspectual components. Technical Report NU-CCS-99-01, College of Computer Science, Northeastern University, Mar. 1999.
20. D. Moon. Object-oriented programming with flavors. In Proceedings of the 1986 Conference on Object-Oriented Programming Systems, Languages and Applications, Portland, OR, Nov. 1986.
21. H. Ossher and P. Tarr. Multi-dimensional separation of concerns in hyperspace. Technical Report RC 21452(96717)16APR99, IBM T.J. Watson Research Center, 1999.
22. H. Ossher and P. Tarr. Using multidimensional separation of concerns to (re)shape evolving software. Communications of the ACM, Oct. 2001.
23. Sable compiler group at McGill. Soot: a Java optimization framework. Available from http://www.sable.mcgill.ca/soot.
24. A. Salcianu. Pointer analysis and its applications to Java programs. Master's thesis, MIT Laboratory for Computer Science, 2001.
25. A. Salcianu and M. Rinard. A combined pointer and purity analysis for Java programs. Technical Report MIT-CSAIL-TR-949, MIT CSAIL, 2004.
26. G. Snelting and F. Tip. Semantics-based composition of class hierarchies. In Proceedings of the 2002 European Conference on Object-Oriented Programming, 2002.
27. M. Stoerzer and J. Krinke. Interference analysis for AspectJ. In Workshop on Foundations of Aspect-Oriented Languages, 2003.
28. P. L. Tarr, H. Ossher, W. H. Harrison, and S. M. S. Jr. N degrees of separation: Multi-dimensional separation of concerns. In International Conference on Software Engineering, 1999.
29. J. Whaley and M. Rinard. Compositional pointer and escape analysis for Java programs. In Proceedings of the 14th Annual Conference on Object-Oriented Programming Systems, Languages and Applications, Denver, CO, Nov. 1999.