Reasoning about the behavior of aspect-oriented programs

Proceedings of the 11th IASTED International Conference on Software Engineering and Applications, SEA 2007

Volumn , Issue , 2007, Pages 198-202

  Soundarajan, Neelam ^a   Khatchadourian, Raffi ^a   Dovland, Johan ^b  

^a OHIO STATE UNIVERSITY   (United States)

^b UNIVERSITY OF OSLO   (Norway)

Author keywords

Aspect oriented programs; Behavioral reasoning

Indexed keywords

APPLICATION PROGRAMS; SOFTWARE ENGINEERING;

ASPECT-ORIENTED PROGRAMMING (AOP); ASPECT-ORIENTED PROGRAMS; BEHAVIORAL REASONING; CONCURRENT PROGRAM; DISTRIBUTED PROGRAM; RELY GUARANTEES;

ASPECT ORIENTED PROGRAMMING;

EID: 84959043528     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J. Loingtier, and J. Irwin, Aspect oriented programming, in Proc. of ECOOP'97. Springer, 1997.
2. R. Laddad, AspectJ in action, Manning, 2003.
3. M. Lippert and C. Lopes, A study on exception detection and handling using AOP, in Proc. of ICSE, pp. 418- 427. ACM, 2002.
4. J. Aldrich, Open modules, in Proc. of ECOOP, pp. 144- 168. Springer, 2005.
5. C. Clifton and G. Leavens, Observers and assistants: A proposal for modular aspect-oriented reasoning, in Proc. of FOAL 2002.
6. G. Kiczales and M. Mezini, Aspect-oriented programming and modular reasoning, in Proc. of ICSE '05, pp. 49- 58. ACM, 2005.
7. C. B Jones, Tentative steps toward a development method for interfering programs, ACM Trans. Prog. Lang. Sys., 5:596-619, 1983.
8. Q. Xu, W. de. Roever, and J. He, Rely-guarantee method for verifying concurrent programs, Formal Aspects of Computing, 9(2):149-174, 1997.
9. D. Dantas and D. Walker, Harmless advice, in POPL '06, pp. 383-396. ACM, 2006.
10. R. Khatchadourian and N. Soundarajan, Relyguarantee approach to reasoning about AOP programs, in SPLAT Workshop at AOSD, 2007.
11. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. Griswold, Overview of AspectJ, in Proc. 15th ECOOP, pp. 327-353. Springer-Verlag, 2001.
12. T. Elrad, R. Filman, and A. Bader, editors, Sp. Issue on Aspect Oriented Programming, CACM, Oct. 2001.
13. C.A.R. Hoare, Communicating Sequential Processes, Prentice-Hall, 1985.