Shadow programming: Reasoning about programs using lexical join point information

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3676 LNCS, Issue , 2005, Pages 141-156

  Wu, Pengcheng ^a   Lieberherr, Karl ^a  

^a NORTHEASTERN UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; INFORMATION ANALYSIS; MATHEMATICAL MODELS; PROGRAM COMPILERS;

ASPECTJ LANGUAGE; STATIC JOIN POINT MODEL; TIME LANGUAGE CONSTRUCTS;

COMPUTER PROGRAMMING;

EID: 33646162188     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11561347_11     Document Type: Conference Paper

References (20)

1. Joshua Bloch. Effective Java Programming Language Guide. Sun Microsystems Inc., 2001. Pages 25-35.
2. Shigeru Chiba and Kiyoshi Nakagawa. Josh: an open AspectJ-like language. In Proceedings of the 3rd international conference on Aspect-oriented software development, pages 102-111. ACM Press, 2004.
3. Michael Eichberg, Mira Mezini, and Klaus Ostermann. Pointcuts as functional queries. In Proceedings of the 2nd Asian Symposium on Programming Languages and Systems. Springer, LNCS, 2004.
4. Matthias Felleisen. Functional objects. In Invited Talk at ECOOP, 2004. Also available at http://www.ccs.neu.edu/home/matthias/Presentations/ecoop2004. pdf.
5. R. Filman and D. Friedman. Aspect-oriented programming is quantification and obliviousness. In Workshop on Advanced Separation of Concerns, OOPSLA 2000, Minneapolis. http://ic-www.arc.nasa.gov/ic/darwin/oif/leo/filman/text/oif/aopis. pdf, October 2000.
6. Kris Gybels and Johan Brichau. Arranging language features for more robust pattern-based crosscuts. In Proceedings of the 2nd international conference on A sped-oriented Software Development, pages 60-69. ACM Press, 2003.
7. Erik Hilsdale and Jim Hugunin. Advice weaving in AspectJ. In Proceedings of the 3rd international conference on Aspect-oriented software development, pages 26-35. ACM Press, 2004.
8. Charles N. Harvey III, Jun 2004. http://dev.eclipse.org/mhonarc/lists/ aspectj-users/msg02460.html.
9. JBoss Inc. JBoss AOP. http://www.jboss.org.
10. Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mike Kersten, Jeffrey Palm, and William Griswold. An Overview of AspectJ. In Jorgen Knudsen, editor, European Conference on Object-Oriented Programming, pages 327-353, Budapest, 2001. Springer Verlag.
11. Günter Kniesel, Tobias Rho, and Stefan Hanenberg. Evolvable Pattern Implementations Need Generic Aspects. In Proceedings of Workshop on Reflection, AOP and Meta-Data for Software Evolution, June 2004.
12. Karl Lieberherr, David H. Lorenz, and Pengcheng Wu. A Case for Statically Executable Advice: checking the Law of Demeter with AspectJ. In Proceedings of the 2nd international conference on Aspect-oriented software development, pages 40-49. ACM Press, 2003.
13. Karl J. Lieberherr. Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns. PWS Publishing Company, Boston, 1996.
14. Karl J. Lieberherr and Ian Holland. Formulations and Benefits of the Law of Demeter. SIGPLAN Notices, 24(3):67-78, March 1989.
15. Marius Marin, Sep 2004. http://dev.eclipse.org/mhonarc/lists/aspectj- users/msg02944.html.
16. Hidehiko Masuhara, Gregor Kiczales, and Chris Dutchyn. Compilation and optimization model for aspect-oriented programs. In Proceedings of Compiler Construction (CC2003), pages 46-60. LNCS, 2003.
17. Bertrand Meyer. Object-Oriented Software Construction. Prentice Hall, 1997. Second Edition.
18. Klaus Ostermann, Mira Mezini, and Christoph Bockish. Expressive pointcuts for increased modularity. In Proceedings of the European Conference on Object-Oriented Programming, 2005.
19. Tobias Rho and Günter Kniesel. LogicAJ - Uniform Genericity for Aspect Languages. Technical Report IAI-TR-2004-4, Computer Science Department III, University of Bonn, December 2004.
20. Tomoyhuki Aotani and Hidehiko Masuhara. Compiling Conditonal Pointcuts for User-Level Semantic Pointcuts. In Software engineering Properties of Languages and Aspect Technologies Workshop, Chicago, IL, USA, Mar 2005.