Open modules: Modular reasoning about advice

Lecture Notes in Computer Science

Volumn 3586, Issue , 2005, Pages 144-168

  Aldrich, Jonathan ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FORMAL LOGIC; MATHEMATICAL MODELS; SEMANTICS;

ASPECT-ORIENTED PROGRAMMING LANGUAGES; COMPONENT-BASED DEVELOPMENT; MODULARITY; MODULE SYSTEMS;

OBJECT ORIENTED PROGRAMMING;

EID: 26444578339     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11531142_7     Document Type: Conference Paper

References (20)

1. J. Aldrich. Open Modules: Modular Reasoning about Advice. Carnegie Mellon Technical Report CMU-ISRI-04-141, available at http://www.cs.cmu.edu/~aldrich/ aosd/, Dec. 2004.
2. D. G. Bobrow, L. G. DiMichiel, R. P. Gabriel, S. E. Keene, G. Kiczales, and D. A. Moon. Common Lisp Object System Specification. In SIGPLAN Notices 23, September 1988.
3. G. Bracha. The Programming Language Jigsaw: Mixins, Modularity and Multiple Inheritance. Ph.D. Thesis, Dept. of Computer Science, University of Utah, 1992.
4. A. Clement, A. Colyer, and M. Kersten. Aspect-Oriented Programming with AJDT. In ECOOP Workshop on Analysis of Aspect-Oriented Software, July 2003.
5. C. Clifton and G. T. Leavens. Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning. In Foundations of Aspect Languages, April 2002.
6. C. Clifton, G. T. Leavens, C. Chambers, and T. Millstein. MultiJava: Modular Open Classes and Symmetric Multiple Dispatch for Java. In Object-Oriented Programming Systems, Languages, and Applications, October 2000.
7. D. S. Dantas and D. Walker. Aspects, Information Hiding and Modularity. Princeton University Technical Report TR-696-04, 2004.
8. R. E. Filman and D. P. Friedman. Aspect-Oriented Programming is Quantification and Obliviousness. In Advanced Separation of Concerns, October 2000.
9. S. Gudmundson and G. Kiczales. Addressing Practical Software Development Issues in AspectJ with a Pointcut Interface. In Advanced Separation of Concerns, July 2001.
10. R. Jagadeesan, A. Jeffrey, and J. Riely. An Untyped Calculus of Aspect-Oriented Programs. In European Conference on Object-Oriented Programming, July 2003.
11. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An Overview of AspectJ. In European Conference on Object-Oriented Programming, June 2001.
12. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In European Conference on Object-Oriented Programming, June 1997.
13. C. Koppen and M. Stoerzer. PCDiff: Attacking the Fragile Pointcut Problem. In European Interactive Workshop on Aspects in Software, September 2004.
14. S. Krishnamurthi, K. Fisler, and M. Greenberg. Verifying Aspect Advice Modularly. In Foundations of Software Engineering, Nov. 2004.
15. R. Lämmel. A Semantical Approach to Method-Call Interception. In Aspect-Oriented Software Development, Apr. 2002.
16. K. Lieberherr, D. H. Lorenz, and J. Ovlinger. Aspectual Collaborations: Combining Modules and Aspects. The Computer Journal, 46(5):542-565, September 2003.
17. R. Milner. Communicating and Mobile Systems: The π-Calculus. Cambridge University Press, 1999.
18. R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, Cambridge, Massachusetts, 1997.
19. D. Walker, S. Zdancewic, and J. Ligatti. A Theory of Aspects. In International Conference on Functional Programming, 2003.
20. M. Wand, G. Kiczales, and C. Dutchyn. A Semantics for Advice and Dynamic Join Points in Aspect-Oriented Programming. Transactions on Programming Languages and Systems, 26(5):890-910, September 2004.