A theory of aspects

ACM SIGPLAN Notices

Volumn 38, Issue 9, 2003, Pages 127-139

  Walker, David ^a   Zdancewic, Steve ^b   Ligatti, Jay ^a  

^a PRINCETON UNIVERSITY   (United States)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Aspect oriented programming; Aspects; Operational semantics; Type theory

Indexed keywords

BOOLEAN FUNCTIONS; COMPUTATIONAL LINGUISTICS; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SYNTACTICS;

ASPECT ORIENTED PROGRAMMING; ASPECTS THEORY; CORE LANGUAGE; LAMBDA CALCULUS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 1442313311     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/944746.944718     Document Type: Conference Paper

References (17)

1. M. Abadi and L. Cardelli. A Theory of Objects. Monograph in Computer Science. Springer-Verlag, New York, 1996.
2. A. W. Appel and D. B. MacQueen. Standard ML of New Jersey. In M. Wirsing, editor, Third International Symposium on Programming Language Implementation and Logic Programming, New York, Aug. 1991. Springer-Verlag. Volume 528 of Lecture Notes in Computer Science.
3. Aspect-oriented programming. In T. Elrad, R. E. Filman, and A. Bader, editors, Special Issue of Communications of the ACM, volume 40(10). Oct. 2001.
4. L. Bauer, J. Ligatti, and D. Walker. Types and effects for non-interfereing program monitors. In International Symposium on Software Security, Tokyo, Japan, Nov. 2002.
5. J. Clements, M. Flatt, and M. Felleisen. Modeling an algebraic stepper. In European Symposium on Programming, pages 320-334, 2001.
6. R. Douence, O. Motelet, and M. Südholt. A formal definition of crosscuts. In Third International Conference on Metalevel architectures and separation of crosscutting concerns, volume 2192 of Lecture Notes in Computer Science, pages 170-186, Berlin, Sept. 2001. Springer-Verlag.
7. R. Harper and M. Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Twenty-First ACM Symposium on Principles of Programming Languages, pages 123-137, Portland, OR, January 1994.
8. R. Harper and C. Stone. A type-theoretic interpretation of Standard ML. In Proof, Language and Interaction: Essays in Honour of Robin Milner. The MIT Press, 1998.
9. R. Jagadeesan, A. Jeffrey, and J. Riely. A calculus of untyped aspect-oriented programs. In European Conference on Object-Oriented Programming, Darmstadt, Germany, July 2003. To appear.
10. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. Griswold. An overview of AspectJ. In European Conference on Object-oriented Programming. Springer-Verlag, 2001.
11. H. Masuhara, G. Kiczales, and C. Dutchyn. Compilation semantics of aspect-oriented programs. In G. T. Leavens and R. Cytron, editors, Foundations of Aspect-Oriented Languages Workshop, pages 17-25, Apr. 2002.
12. G. Morrisett, M. Felleisen, and R. Harper. Abstract models of memory management. In ACM Conference on Functional Programming and Computer Architecture, pages 66-77, La Jolla, June 1995.
13. H. Ossher and P. Tarr. Hyper/J: multi-dimensional separation of concerns for Java. In International conference on software engineering, pages 734-737, Limerick, Ireland, June 2000.
14. D. B. Tucker and S. Krishnamurthi. Pointcuts and advice in higher-order languages. In Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, pages 158-167, 2003.
15. D. S. Wallach, A. W. Appel, and E. W. Felten. The security architecture formerly known as stack inspection: A security mechanism for language-based systems. ACM Transactions on Software Engineering and Methodology, 9(4), Oct. 2000.
16. M. Wand, G. Kiczales, and C. Dutchyn. A semantics for advice and dynamic join points in aspect-oriented programming. In G. T. Leavens and R. Cytron, editors, Foundations of Aspect-Oriented Languages Workshop, pages 17-25, Apr. 2002. Iowa State University University technical report 02-06.
17. A. K. Wright and M. Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38-94, 1994.