Adding trace matching with free variables to AspectJ

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2005, Pages 345-364

  Allan, Chris ^a   Avgustinov, Pavel ^a   Christensen, Aske Simon ^b   Hendren, Laurie ^c   Kuzins, Sascha ^a   Lhoták, Ondřej ^c   De Moor, Oege ^a   Sereni, Damien ^a   Sittampalam, Ganesh ^a   Tibble, Julian ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b AARHUS UNIVERSITY   (Denmark)

^c MCGILL UNIVERSITY   (Canada)

Author keywords

Aspect oriented programming; Program monitoring

Indexed keywords

CODES (STANDARDS); COMPUTER PROGRAMMING; PROGRAM COMPILERS; SEMANTICS;

ASPECT-ORIENTED PROGRAMMING; PROGRAM MONITORING; TRACE MATCHING;

FORMAL LANGUAGES;

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

References (31)

1. abc. The AspectBench Compiler. Home page with downloads, FAQ, documentation, support mailing lists, and bug database, http://aspectbench.org.
2. Thomas Ball, Byron Cook, Vladimir Levin, and Sriram K. Rajamani. SLAM and static driver verifier: Technology transfer of formal methods inside Microsoft. In Eerke Boiten, John Derrick, and Graeme Smith, editors, Integrated Formal Methods, pages 1-20, 2004.
3. Christoph Bockisch, Mira Mezini, and Klaus Ostermann. Quantifying over dynamic properties of program execcution. In 2nd Dynamic Aspects Workshop (DAW05), pages 71-75, 2005.
4. Eric Bodden. Concern specific languages and their implementation with abc. SPLAT workshop at AOSD. Download: http://www.bodden.de/publications, 2005.
5. María Augustina Cibrán and Bart Verheecke. Dynamic business rules for web service composition, In 2nd Dynamic Aspects Workshop (DAW05), pages 13-18, 2005.
6. Adrian Colyer, Andy Clement, George Harley, and Matthew Webster, Eclipse AspectJ: Aspect-Oriented Programming with AspectJ and the Eclipse AspectJ development tools. Addison-Wesley, 2004.
7. 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), pages 173-188, 2002.
8. R. Douence, O. Motelet, and M. Sudholt. A formal definition of crosscuts, In Akinori Yonezawa and Satoshi Matsuoka, editors, Reflection 2001, volume 2192 of Lecture Notes in Computer Science, pages 170-186. Springer, 2001.
9. Rémi Douence, Pascal Fradet, and Mario Südholt, Composition, reuse and interaction analysis of stateful aspects. In Karl Lieberherr, editor, 3rd International Conference on Aspect-oriented Software Development, pages 141-150, 2004.
10. Remi Douence, Pascal Fradet, and Mario Südholt. Trace-based aspects. In Aspect-oriented Software Development, pages 141-150. Addison-Wesley, 2004.
11. Rémi Douence, Thomas Fritz, Nicolas Loriant, Jean-Marc Menaud, Marc Ségura, and Mario Südholt. An expressive aspect language for system applications with arachne. In Aspect-Oriented Software Development, pages 27-38, 2005.
12. Thomas Fritz, Marc Ségura, Mario Südholt, Egon Wuchner, and Jean-Marc Menaud. An application of dynamic AOP to medical image generation. In 2nd Dynamic Aspects Workshop (DAW05), pages 5-12, 2005.
13. Erich Gamma. JHotDraw. Available for download from http://sourceforge. net/projects/jhotdraw, 2004.
14. Simon Goldsmith, Robert O'Callahan, and Alex Aiken. Relational queries over program traces. In Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications, 2005.
15. Joseph D. Gradecki and Nicholas Lesiecki. Mastering AspectJ: Aspect-Oriented Programming in Java. Wiley, 2003.
16. Seth Hallem, Benjamin Chelf, Yichen Xie, and Dawson Engler. A system and language for building system-specific, static analyses. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 69-82, 2002.
17. Jan Hannemann and Gregor Kiczales. Design pattern implementation in Java and AspectJ. In OOPSLA, pages 161-173, 2002.
18. Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, and William G. Griswold. An overview of AspectJ. In J. Lindskov Knudsen, editor, European Conference on Object-oriented Programming, volume 2072 of Lecture Notes in Computer Science, pages 327-353. Springer, 2001.
19. I. Kiselev, Aspect-oriented programming with AspectJ. SAMS, 2002.
20. Ramnivas Laddad. AspectJ in Action. Manning, 2003.
21. Karl J. Lieberherr, Jeffrey Palm, and Ravi Sundaram. Expressiveness and complexity of crosscut languages. In Proceedings of the eth workshop on Foundations of Aspect-Oriented Languages (FOAL '05), 2005.
22. Michael Martin, Benjamin Livshits, and Monica S. Lam. Finding application errors using PQL: a program query language. In Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications, 2005.
23. Hidehiko Masuhara, Gregor Kiczales, and Chris Dutchyn, A compilation and optimization model for aspect-oriented programs, In Compiler Construction, volume 2622 of Springer Lecture Notes in Computer Science, pages 46-60, 2003.
24. Russell Miles. AspectJ cookbook. O'Reilly, 2004.
25. Nathaniel Nystrom, Michael R. Clarkson, and Andrew C. Myers. Polyglot; An extensible compiler framework for Java. In 12th International Conference on Compiler Construction, volume 2622 of Lecture Notes in Computer Science, pages 138-152, 2003.
26. Klaus Ostermann, Mira Mezini, and Christoph Bockisch. Expressive pointcuts for increased modularity. In ECOOP, 2005.
27. Jens Palsberg, Boaz Patt-Shamir, and Karl J. Lieberherr. A new approach to compiling adaptive programs. Science of Computer Programming, 29(3):303-326, 1997.
28. Volker Stolz and Eric Bodden. Temporal Assertions using AspectJ. In Fifth Workshop on Runtime Verification (RV'05), Electronic Notes in Theoretical Computer Science. Elsevier Science Publishers, 2005.
29. Raja Vallée-Rai, Etienne Gagnon, Laurie J. Hendren, Patrick Lam, Patrice Pominville, and Vijay Sundaresan. Optimizing Java bytecode using the Soot framework: Is it feasible? In Compiler Construction, 9th International Conference (CC 2000), pages 18-34, 2000.
30. Wim Vanderperren, Davy Suvé, María Augustina Cibrán, and Bruno De Fraine. Stateful aspects in JAsCo. In Workshop on Software Composition at ETAPS, 2005.
31. Robert Walker and Kevin Viggers. Implementing protocols via declarative event patterns, In ACM Sigsoft International Symposium on Foundations of Software Engineering (FSE-12), pages 159-169, 2004.