A type-theoretic interpretation of pointcuts and advice

Science of Computer Programming

Volumn 63, Issue 3, 2006, Pages 240-266

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

^a Princeton University   (United States)

^b UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

Aspect oriented programming languages; Aspects; Operational semantics; Type theory

Indexed keywords

ASPECT-ORIENTED PROGRAMMING LANGUAGES; LAMBDA CALCULUS; OPERATIONAL SEMANTICS; SYNTACTIC DIFFERENCES; TYPE THEORY;

ABSTRACTING; MONTE CARLO METHODS; OBJECT ORIENTED PROGRAMMING; SEMANTICS; SYNTACTICS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33749995768     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2006.01.004     Document Type: Article

References (34)

1. Kiczales G., Lamping J., Mendhekar A., Maeda C., Lopes C.V., Loingtier J.-M., and Irwin J. Aspect-oriented programming. Proceedings of the 11th European Conference on Object-Oriented Programming. ECOOP. Lecture Notes in Computer Science vol. 1241 (1997), Springer-Verlag 220-242
2. In: Elrad T., Filman R.E., and Bader A. (Eds). Aspect-oriented Programming. Communications of the ACM 40 10 (2001) (special issue)
3. Kiczales G., Hilsdale E., Hugunin J., Kersten M., Palm J., and Griswold W. An overview of AspectJ. European Conference on Object-oriented Programming (2001), Springer-Verlag
4. H. Ossher, P. Tarr, Hyper/J: Multi-dimensional separation of concerns for Java, in: International conference on software engineering, Limerick, Ireland, 2000, pp. 734-737
5. Filman R.E., and Friedman D.P. Aspect-oriented programming is quantification and obliviousness. Aspect-oriented Software Development (2005), Addison-Wesley
6. Harper R., and Stone C. A type-theoretic interpretation of Standard ML. Proof, Language and Interaction: Essays in Honour of Robin Milner (1998), The MIT Press
7. Walker D., Zdancewic S., and Ligatti J. A theory of aspects. ACM SIGPLAN International Conference on Functional Programming (2003), ACM Press, Uppsala, Sweden 127-139
8. D.S. Dantas, D. Walker, G. Washburn, S. Weirich, Polyaml: A polymorphic aspect-oriented functional programming language, in: International Conference on Functional Programming, 2005
9. D.S. Dantas, D. Walker, Harmless advice, in: Workshop on Foundations of Object-oriented Languages, 2004
10. M. Wand, G. Kiczales, C. Dutchyn, A semantics for advice and dynamic join points in aspect-oriented programming, in: G.T. Leavens, R. Cytron (Eds.), Foundations of Aspect-Oriented Languages Workshop, Iowa State University Technical Report 02-06, 2002, pp. 17-25
11. G. Morrisett, M. Felleisen, R. Harper, Abstract models of memory management, in: ACM Conference on Functional Programming and Computer Architecture, La Jolla, 1995, pp. 66-77
12. Wright A.K., and Felleisen M. A syntactic approach to type soundness. Information and Computation 115 1 (1994) 38-94
13. C. Clifton, G.T. Leavens, MiniMAO: Investigating the semantics of proceed, in: Workshop on Foundations of Aspect-Oriented Languages, 2005, Available as Iowa State Technical Report No. 05-01
14. R. Harper, M. Lillibridge, A type-theoretic approach to higher-order modules with sharing, in: Twenty-First ACM Symposium on Principles of Programming Languages, Portland, OR, 1994, pp. 123-137
15. Abadi M., and Cardelli L. A Theory of Objects, Monographs in Computer Science (1996), Springer-Verlag, New York
16. Jboss Aspect Oriented Programming (AOP) (2005). http://www.jboss.org/products/aop
17. Johnson R., Hoeller J., Arendsen A., Sampaleanu C., Harrop R., Risberg T., Davison D., Kopylenko D., Pollack M., Templier T., and Vervaet E. Spring - Java/J2EE application framework (2005). http://www.springframework.org/docs/reference/index.html
18. B. Lee, Dynaop manual, https://dynaop.dev.java.net/nonav/release/1.0-beta/manual/index.html, 2005
19. D.B. Tucker, S. Krishnamurthi, Pointcuts and advice in higher-order languages, in: Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, 2003, pp. 158-167
20. J. Clements, M. Flatt, M. Felleisen, Modeling an algebraic stepper, in: European Symposium on Programming, 2001, pp. 320-334
21. H. Masuhara, G. Kiczales, C. Dutchyn, Compilation semantics of aspect-oriented programs, in: G.T. Leavens, R. Cytron (Eds.), Foundations of Aspect-Oriented Languages Workshop, 2002, pp. 17-25
22. R. Jagadeesan, A. Jeffrey, J. Riely, A calculus of untyped aspect-oriented programs, in: European Conference on Object-Oriented Programming, Darmstadt, Germany, 2003
23. C. Clifton, G.T. Leavens, M. Wand, Parameterized aspect calculus: A core calculus for the direct study of aspect-oriented languages, Tech. Rep. TR03-13, Iowa State University, November 2003
24. G. Bruns, R. Jagadeesan, A. Jeffrey, J. Riely, μABC: A minimal calculus for aspect-oriented programs, in: International Conference on Concurrency Theory, CONCUR, 2004, pp. 209-224
25. J. Aldrich, Open modules: A proposal for modular reasoning in aspect-oriented programming, in: Workshop on Foundations of Aspect-oriented Languages, 2004
26. J. Aldrich, Open modules: Reconciling extensibility and information hiding, in: Proceedings of the Software Engineering Properties of Languages for Aspect Technologies, 2004
27. R. Jagadeesan, A. Jeffrey, J. Riely, A calculus of typed aspect-oriented programs, unpublished manuscript, 2003
28. Douence R., Motelet O., and Südholt M. A formal definition of crosscuts. In: Yonezawa A., and Matsuoka S. (Eds). Proceedings of the 3rd International Conference on Reflection 2001. Lecture Notes in Computer Science vol. 2192 (2001), Springer-Verlag, Kyoto, Japan 170-186
29. Lieberherr K.J., Lorenz D., and Ovlinger J. Aspectual collaborations - combining modules and aspects. The Computer Journal 46 5 (2003) 542-565
30. J. Ovlinger, Modular programming with aspectual collaborations, Ph.D. Thesis, Northeastern University, 2003
31. L. Bauer, J. Ligatti, D. Walker, Types and effects for non-interfering program monitors, in: International Symposium on Software Security, Tokyo, Japan, 2002
32. R. Douence, P. Fradet, M. Südholt, Detection and resolution of aspect interactions, Rapport de recherche 4435, Inria, Avril 2002
33. R. Douence, P. Fradet, M. Südholt, Composition, reuse and interaction analysis of stateful aspects, in: Conference on Aspect-Oriented Software Development, 2004, pp. 141-150
34. L. Bauer, J. Ligatti, D. Walker, Composing security policies in Polymer, in: ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2005