μABC: A minimal aspect calculus

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

Volumn 3170, Issue , 2004, Pages 209-224

  Bruns, Glenn ^a   Jagadeesan, Radha ^b   Jeffrey, Alan ^b   Riely, James ^b  

^a LUCENT TECHNOLOGIES   (United States)

^b DEPAUL UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTATION THEORY; FUNCTIONAL PROGRAMMING; LOGIC PROGRAMMING; OBJECT ORIENTED PROGRAMMING;

ASPECT-ORIENTED; COMPOSITIONAL TRANSLATION; COMPUTATIONAL ENTITIES; FUNCTIONAL LANGUAGES; HIGHER ORDER FUNCTIONS; OBJECT ORIENTED; PI CALCULUS; SYSTEM DESIGN AND DEVELOPMENT;

ASPECT ORIENTED PROGRAMMING;

EID: 33745218416     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-28644-8_14     Document Type: Article

References (32)

1. AspectJ website. http://www.eclipse.org/aspectj/.
2. Martin Abadi and Luca Cardelli. A Theory of Objects. Springer Verlag, 1996.
3. M. Aksit, K. Wakita, J. Bosch, L. Bergmans, and A. Yonezawa. Abstracting' object-interactions using composition-filters. In In object-based distributed processing, LNCS, 1993.
4. Association of Computing Machinery. Communications of the ACM, Oct 2001.
5. Lujo Bauer, Jarred Ligatti, and David Walker. A calculus for composing security policies. Technical Report TR-655-02, Dept. of Computer Science, Princeton University, 2002.
6. A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9):1270-1282, September 1991.
7. L. Bergmans. "Composing Concurrent Objects - Applying Composition Filters for the Development and Reuse of Concurrent Object-Oriented Programs". Ph.d. thesis, University of Twente, 1994. http://wwwhome.cs. utwente.nl/~bergmans/phd.htm.
8. G.M. Bierman, M.J. Parkinson, and A.M. Pitts. An imperative core calculus for Java and Java with effects. Technical Report 563, University of Cambridge Computer Laboratory, April 2003.
9. G. Bruns, R. Jagadeesan, A. Jeffrey, and J. Riely. μABC: A minimal aspect calculus. Full version, available at http://fpl.cs.depaul.edu/ajeffrey/ papers/muABCf ull. pdf, 2004.
10. Curtis Clifton, Gary T. Leavens, and Mitchell Wand. Parameterized aspect calculus: A core calculus for the direct study of aspect-oriented languages. Submitted for publication, at ftp://ftp.ces.neu.edu/pub/people/wand/papers/clw- 03.pdf, oct 2003.
11. Daniel S. Dantas and David Walker. Aspects, information hiding and modularity. Submitted for publication, at http://www.cs.princeton.edu/~dpw/ papers/aspectml-nov03. pdf, 2003.
12. Bruno Dufour, Christopher Goard, Laurie Hendren, Clark Verbrugge, Oege de Moor, and Ganesh Sittampalam. Measuring the dynamic behaviour of AspectJ programs, 2003.
13. R. Filman and D. Friedman. Aspect-oriented programming is quantification and obliviousness, 2000.
14. Matthew Flatt, Shriram Krishnamurthi, and Matthias Felleisen. Classes and mixins. In ACM Symposium on Principles of Programming Languages (POPL), pages 171-183, 1998.
15. Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, and Didier Rémy. A calculus of mobile agents. In 7th International Conference on Concurrency Theory (CONCUR'96), pages 406-421, Pisa, Italy, 1996. Springer-Verlag. LNCS 1119.
16. C. A. R. Hoare. Communicating Sequential Processes. Int. Series in Computer Science. Prentice Hall, 1985.
17. Atsushi Igarashi, Benjamin C. Pierce, and Philip Wadler. Featherweight Java: A minimal core calculus for Java and GJ. ACM Transactions on Programming Languages and Systems, 23(3):396-450, May 2001.
18. R. Jagadeesan, A. Jeffrey, and J. Riely. A typed calculus for aspect-oriented programs. Submitted for publication, at http://fpl.cs.depaul. edu/ajeffrey/papers/typedABL. pdf, 2003.
19. Radha Jagadeesan, Alan Jeffrey, and James Riely. An untyped calculus of aspect oriented programs. In Conference Record of ECOOP 03: The European Conference on Object-Oriented Programming, volume 2743 of Lecture Notes in Computer Science, 2003.
20. Gregor Kiczales and Yvonne Coady. http://www.cs.ubc.ca/labs/spl/projects/ aspectc.html.
21. Gregor Kiczales, Erik Hilsdale, Jim Hugunin, Mik Kersten, Jeffrey Palm, and William G. Griswold. An overview of AspectJ. Lecture Notes in Computer Science, 2072:327-355, 2001.
22. Gregor Kiczales, John Lamping, Anurag Mendhekar, Chris Maeda, Cristina Videira Lopes, Jean-Marc Loingtier, and John Irwin. Aspect-oriented programming. In European Conference on Object-Oriented Programming (ECOOP), 1997.
23. K. J. Lieberherr. Adaptive Object-Oriented Software: The Demeter Method with Propagation Patterns. PWS Publishing Company, 1996.
24. C. V. Lopes. "D: A Language Framework for Distributed Programming". Ph.d. thesis, Northestern University, 1997. ftp://ftp.ccs.neu.edu/pub/people/lieber/theses/ lopes/dissertation.pdf.
25. Satoshi Matsuoka and Akinori Yonezawa. Analysis of inheritance anomaly in object-oriented concurrent programming languages. In G. Agha, P. Wegner, and A. Yonezawa, editors, Research Directions in Concurrent Object-Oriented Programming, pages 107-150. MIT Press, 1993.
26. R. Milner. The polyadic pi-calculus: a tutorial. In F. L. Bauer, W. Brauer, and H. Schwichtenberg, editors, Logic and Algebra of Specification, pages 203-246. Springer-Verlag, 1993.
27. Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes, parts I and II. Information and Computation, 100(1):1-40, 1992.
28. H. Ossher and P. Tarr. Multi-dimensional separation of concerns and the hyperspace approach. In Proceedings of the Symposium on Software Architectures and Component Technology: The State of the Art in Software Development, 2001.
29. Gordon Plotkin. Call-by-name, call-by-value, and the X-calculus. Theoretical Computer Science, 1:125-159, 1975.
30. David Tucker and Shriram Krishnamurthi. Pointcuts and advice in higher-order languages. In Conference Record of AOSD 03: The 2nd International Conference on Aspect Oriented Software Development, 2003.
31. David Walker, Steve Zdancewic, and Jay Ligatti. A theory of aspects. In Conference Record of ICFP 03: The ACM SIGPLAN International Conference on Functional Programming, 2003.
32. Mitchell Wand, Gregor Kiczales, and Christopher Dutchyn. A semantics for advice and dynamic join points in aspect-oriented programming. TOPLAS, 2003. To appear.