EffectiveAdvice: Disciplined advice with explicit effects

AOSD.10 - 9th International Conference on Aspect-Oriented Software Development

Volumn , Issue , 2010, Pages 109-120

  Oliveira, Bruno C D S ^a   Schrijvers, Tom ^b   Cook, William R ^c  

^a Seoul National University   (South Korea)

^b UNIVERSITY OF LEUVEN   (Belgium)

^c UNIVERSITY OF TEXAS AT AUSTIN   (United States)

Author keywords

AOP; Interference; Mixins; Monads; Parametricity

Indexed keywords

ASPECT-ORIENTED; BASE COMPONENTS; COMBINATORS; DATA FLOW; EQUATIONAL REASONING; HASKELL; INTERFERENCE PATTERNS; MODULAR REASONING; NON INTERFERENCE; PARAMETRICITY; PROGRAM COMPONENTS; SEMANTIC MODEL; TIGHTLY-COUPLED;

COMPUTER SOFTWARE; COMPUTER SYSTEMS PROGRAMMING;

SOFTWARE DESIGN;

EID: 77952277111     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1739230.1739244     Document Type: Conference Paper

References (38)

1. J. Aldrich. Open modules: Modular reasoning about advice. In ECOOP'05, 2005.
2. G. Bracha and W. R. Cook. Mixin-based inheritance. In OOPSLA'90, 1990.
3. D. Brown and W. R. Cook. Monadic memoization mixins. Technical Report TR-07-11, The University of Texas, 2007.
4. K. Chen, S. Weng, M. Wang, S. Khoo, and C. Chen. A compilation model for aspect-oriented polymorphically typed functional languages. In SAS'07, 2007.
5. C. Clifton and G. T. Leavens. Observers and Assistants: A Proposal for Modular Aspect-Oriented Reasoning. In FOAL '02, 2002.
6. C. Clifton, G. T. Leavens, and J. Noble. MAO: Ownership and effects for more effective reasoning about aspects. In ECOOP'07, 2007.
7. W. R. Cook. A Denotational Semantics of Inheritance. PhD thesis, Brown University, 1989.
8. D. S. Dantas and D. Walker. Harmless advice. In POPL '06, 2006.
9. D. S. Dantas, D. Walker, G. Washburn, and S. Weirich. AspectML: A polymorphic aspect-oriented functional programming language. ACM TOPLAS, 30(3):1-60, 2008.
10. W. De Meuter. Monads as a theoretical foundation for AOP. In International Workshop on Aspect-Oriented Programming at ECOOP, 1997.
11. R. Douence, P. Fradet, and M. S̈udholt. Composition, reuse and interaction analysis of stateful aspects. In AOSD'04, 2004.
12. C. Dutchyn, D. B. Tucker, and S. Krishnamurthi. Semantics and scoping of aspects in higher-order languages. Sci. Comput. Program., 63(3):207-239, 2006.
13. R. E. Filman and D. P. Friedman. Aspect-oriented programming is quantification and obliviousness. In Workshop on Advanced Separation of Concerns, 2000.
14. B. D. Fraine and M. Braem. Requirements for reusable aspect deployment. In Software Composition, 2007.
15. C. Hofer and K. Ostermann. On the relation of aspects and monads. In FOAL'07, 2007.
16. G. Kiczales and M. Mezini. Aspect-oriented programming and modular reasoning. In ICSE'05, 2005.
17. G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J. Loingtier, and J. Irwin. Aspect-oriented programming. In ECOOP'97, 1997.
18. K. L̈aufer. What functional programmers can learn from the Visitor pattern. Tech. rep., Loyola University Chicago, 2003.
19. J. R. Lewis, J. Launchbury, E. Meijer, and M. B. Shields. Implicit parameters: dynamic scoping with static types. In POPL'00, 2000.
20. S. Liang, P. Hudak, and M. Jones. Monad transformers and modular interpreters. In POPL'95, 1995.
21. J. Ligatti, D. Walker, and S. Zdancewic. A type-theoretic interpretation of pointcuts and advice. Sci. Comput. Program., 63(3):240-266, 2006.
22. R. Lopez-Herrejon, D. Batory, and C. Lengauer. A disciplined approach to aspect composition. In PEPM'06, 2006.
23. H. Masuhara, H. Tatsuzawa, and A. Yonezawa. Aspectual Caml: an aspect-oriented functional language. In ICFP'05, 2005.
24. B. J. McAdam. That about wraps it up - using fix to handle errors without exceptions, and other programming tricks. Technical report, Laboratory for Foundations of Computer Science, The University of Edinburgh, 1997.
25. A. Moors, F. Piessens, and M. Odersky. Generics of a higher kind. In OOPSLA '08, 2008.
26. B. C. d. S. Oliveira, T. Schrijvers, and W. R. Cook. EffectiveAdvice: Overview, background and proofs. Report CW 556, Dept. of Computer Science, K.U.Leuven, Belgium, 2009.
27. S. Peyton Jones and P. Wadler. Imperative functional programming. In POPL'93, 1993.
28. S. Peyton Jones, D. Vytiniotis, S. Weirich, and M. Shields. Practical type inference for arbitrary-rank types. J. Funct. Program., 17(01):1-82, 2007.
29. C. Prehofer. Semantic reasoning about feature composition via multiple aspect-weavings. In GPCE'06, 2006.
30. C. Prehofer. Feature-oriented programming: A fresh look at objects. In ECOOP'97, 1997.
31. C. Prehofer. Flexible construction of software components: A feature oriented approach. Habilitation Thesis, Fakulẗat f̈ur Informatik der Technischen Universiẗat M̈unchen, 1999.
32. M. Rinard, A. Salcianu, and S. Bugrara. A classification system and analysis for aspect-oriented programs. ACM SIGSOFT Softw. Eng. Notes, 29(6):147-158, 2004.
33. R. Stata and J. V. Guttag. Modular reasoning in the presence of subclassing. SIGPLAN Not., 30(10):200-214, 1995.
34. E. Tanter. Expressive scoping of dynamically-deployed aspects. In AOSD'08, pages 168-179, 2008.
35. J. Voigtl̈ander. Free theorems involving type constructor classes. In ICFP '09, 2009.
36. P. Wadler. Theorems for free! In FPLCA'89. 1989.
37. P. Wadler. The essence of functional programming. In POPL'92, 1992.
38. P. Wadler. Monads for functional programming. In Program Design Calculi: Marktoberdorf International Summer School, 1993.