Semantics and scoping of aspects in higher-order languages

Science of Computer Programming

Volumn 63, Issue 3, 2006, Pages 207-239

  Dutchyn, Christopher ^a   Tucker, David B ^b   Krishnamurthi, Shriram ^b  

^a UNIVERSITY OF SASKATCHEWAN   (Canada)

^b Brown Univerity   (United States)

Author keywords

Abstract machine; Advice; Aspect; ceks; Higher order; Join point; Pointcut; Scheme

Indexed keywords

ABSTRACT MACHINES; ASPECTS; JOIN POINTS; POINTCUT; SCHEME;

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; OBJECT ORIENTED PROGRAMMING;

SEMANTICS;

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

References (37)

1. L. Bauer, J. Ligatti, D. Walker, A calculus for composing security policies, Tech. Rep. TR-655-02, Princeton University, 2002
2. Bergmans L., and Aksit M. Composing crosscutting concerns using composition filters. Communications of the ACM 44 10 (2001) 51-57
3. Clements J., and Felleisen M. A tail-recursive semantics for stack inspections. European Symposium on Programming. Lecture Notes in Computer Science vol. 2618 (2003) 22-37
4. Clements J., and Felleisen M. A tail-recursive machine with stack inspection. ACM Transactions on Programming Languages and Systems 26 6 (2004) 1029-1052
5. Clements J., Flatt M., and Felleisen M. Modeling an algebraic stepper. European Symposium on Programming. Lecture Notes in Computer Science vol. 2029 (2001) 320-334
6. Clements P., and Northrop L. Software Product Lines: Practices and Patterns (2001), Addison-Wesley
7. Costanza P. Dynamically scoped functions as the essence of aop. Workshop on Object-Oriented Language Engineering for the Post-Java Era. ACM SIGPLAN Notices 38 8 (2003) 27-36
8. D.S. Dantas, D. Walker, G. Washburn, S. Weirich, Analyzing polymorphic advice, Tech. Rep. TR-717-05, Princeton University, 2005
9. D.S. Dantas, D. Walker, G. Washburn, S. Weirich, Polyaml: A polymorphic aspect-oriented functional programming language, in: ACM International Conference on Functional Programming, 2005
10. Douence R., Motelet O., and Südholt M. A formal definition of crosscuts. International Conference on Metalevel Architectures and Separation of Crosscutting Concerns. Lecture Notes in Computer Science vol. 2192 (2001) 170-186
11. Dutchyn C. AspectScheme 1 (January 2005). http://www.cs.ubc.ca/~cdutchyn/downloads/AspectScheme/aspectscheme1-1.pl t
12. Dutchyn C. AspectScheme 2 (October 2005). http://www.cs.ubc.ca/~cdutchyn/downloads/AspectScheme/aspectscheme2-3.pl t
13. Dybvig R.K., Hieb R., and Bruggeman C. Syntactic abstraction in Scheme. Lisp and Symbolic Computation 5 4 (1993) 295-326
14. Felleisen M., and Hieb R. The revised report on the syntactic theories of sequential control and state. Theoretical Computer Science 103 2 (1992) 235-271
15. R.E. Filman, What is aspect-oriented programming, revisited, in: Workshop on Advanced Separation of Concerns, ECOOP, also RIACS Tech. Rep. 01.14, 2001
16. R.E. Filman, D.P. Friedman, Aspect-oriented programming is quantification and obliviousness, in: Workshop on Advanced Separation of Concerns, OOPSLA, 2000, also RIACS Tech. Rep. 01.12, 2001
17. Findler R.B., Clements J., Flanagan C., Flatt M., Krishnamurthi S., Steckler P., and Felleisen M. DrScheme: A programming environment for Scheme. Journal of Functional Programming 12 2 (2002) 159-182
18. M. Flatt, Composable and compilable macros: You want it when?, in: ACM International Conference on Functional Programming, 2002, pp. 72-83
19. M. Flatt, PLT MzScheme: Language manual, Tech. Rep. TR97-280, Rice University, 1997
20. Gray J., Bapty T., Neema S., and Tuck J. Handling crosscutting constraints in domain-specific modeling. Communications of the ACM 44 10 (2001) 87-93
21. Hanson C., and the MIT Scheme team and others. MIT Scheme Reference Manual (2002), Massachusetts Institute of Technology
22. 5 report on the algorithmic language Scheme. Higher-Order and Symbolic Computation 11 1 (1998) 7-105
23. Kiczales G., Hilsdale E., Hugunin J., Kersten M., Palm J., and Griswold W.G. An overview of AspectJ. European Conference on Object-Oriented Programming. Lecture Notes in Computer Science vol. 2072 (2001) 327-353
24. Kiczales G., Lamping J., Mendhekar A., Maeda C., Lopes C.V., Loingtier J.-M., and Irwin J. Aspect-oriented programming. European Conference on Object-Oriented Programming. Lecture Notes in Computer Science vol. 1241 (1997) 220-242
25. E.E. Kohlbecker Jr., Syntactic extensions in the programming language Lisp, Ph.D. Thesis, Indiana University, Aug. 1986
26. E.E. Kohlbecker Jr., D.P. Friedman, M. Felleisen, B.F. Duba, Hygienic macro expansion, in: ACM Conference on Lisp and Functional Programming, 1986, 151-161
27. E.E. Kohlbecker, M. Wand, Macros-by-example: Deriving syntactic transformations from their specifications, in: ACM Annual Symposium on Principles of Programming Languages, 1987, pp. 77-84
28. R. Lämmel, J. Visser, Design patterns for functional strategic programming, in: ACM Workshop on Rule-Based Programming, 2002
29. Lieberherr K., Orleans D., and Ovlinger J. Aspect-oriented programming with adaptive methods. Communications of the ACM 44 10 (2001) 39-41
30. Masuhara H., Kiczales G., and Dutchyn C. A compilation and optimization model for aspect-oriented programs. Compiler Construction. Lecture Notes in Computer Science vol. 2622 (2003) 46-60
31. Netinant P., Elrad T., and Fayad M.E. A layered approach to building open aspect-oriented systems: A framework for the design of on-demand system demodularization. Communications of the ACM 44 10 (2001) 83-85
32. D. Orleans, Incremental programming with extensible decisions, in: ACM Conference on Aspect-Oriented Software Development, 2002, pp. 56-64
33. D. Sereni, O. de Moor, Static analysis of aspects, in: ACM Conference on Aspect-Oriented Software Development, 2003, pp. 30-39
34. Sullivan G. Aspect-oriented programming with reflection and meta-object protocols. Communications of the ACM 44 10 (2001) 95-97
35. D.B. Tucker, S. Krishnamurthi, Pointcuts and advice in higher-order languages, in: ACM Conference on Aspect-Oriented Software Development, 2003, pp. 158-167
36. D. Walker, S. Zdancewic, J. Ligatti, A theory of aspects, in: ACM International Conference on Functional Programming, 2003, pp. 127-139
37. Wand M., Kiczales G., and Dutchyn C. A semantics for advice and dynamic join points in aspect-oriented programming. ACM Transactions on Programming Languages and Systems 26 5 (2004) 890-910