Side-effect localization for lazy, purely functional languages via aspects

Higher-Order and Symbolic Computation

Volumn 24, Issue 1-2, 2011, Pages 151-189

  Chen, Kung ^a   Weng, Shu Chun ^b   Lin, Jia Yin ^a   Wang, Meng ^c   Khoo, Siau Cheng ^d  

^a NATIONAL CHENGCHI UNIVERSITY   (Taiwan)

^b YALE UNIVERSITY   (United States)

^c UNIVERSITY OF OXFORD   (United Kingdom)

^d NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

Aspect oriented programming; Lazy semantics; Monadification; Side effect

Indexed keywords

ASPECT-ORIENTED; CROSSCUTTING CONCERN; FUNCTIONAL CODES; FUNCTIONAL LANGUAGES; MONADIFICATION; PROGRAMMING ACTIVITIES; PROGRAMMING PARADIGMS; SEPARATION OF CONCERNS; SIDE EFFECT; STATIC AND DYNAMIC;

ASPECT ORIENTED PROGRAMMING; FUNCTIONAL PROGRAMMING;

SEMANTICS;

EID: 84861710389     PISSN: 13883690     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10990-011-9073-0     Document Type: Conference Paper

References (22)

1. Chen, K., Weng, S.-C., Wang, M., Khoo, S.-C., Chen, C.-H.: A compilation model for aspect-oriented polymorphically typed functional languages. In: Static Analysis, 14th International Symposium, SAS 2007. LNCS, vol. 4634, pp. 34-51 (2007)
2. Dantas, D.S., Walker, D.: Harmless advice. In: Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 383-396 (2006)
3. D.S. Dantas D. Walker G. Washburn S. Weirich 2008 AspectML: a polymorphic aspect-oriented functional programming language ACM Trans. Program. Lang. Syst. 30 3 1 60 10.1145/1353445.1353448 (Pubitemid 351724255)
4. Ennals, R., Jones, S.P.: HsDebug: debugging lazy programs by not being lazy. In: Haskell 03: Proceedings of the 2003 ACM SIGPLAN Workshop on Haskell, pp. 84-87 (2003)
5. M. Erwig D. Ren 2004 Monadification of functional programs Sci. Comput. Program. 52 1-3 101 129 2113315 1091.68024 10.1016/j.scico.2004.03.004
6. Fischer, S., Kiselyov, O., Shan, C.-C.: Purely functional lazy non-deterministic programming. In: ICFP '09: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, New York, NY, USA, pp. 11-22 (2009)
7. Flanagan, C., Sabry, A., Duba, B.F., Felleisen, M.: The essence of compiling with continuations. In: Proceedings of the ACM SIGPLAN 1993 Conference on Programming Language Design and Implementation, pp. 237-247 (1993)
8. Functional Programming Group, K. U.: Monadification as a refactoring (2005)
9. Hatcliff, J., Danvy, O.: A generic account of continuation-passing styles. In: Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 237-247 (1993)
10. Hofer, C., Ostermann, K.: On the relation of aspects and monads. In: Foundations of Aspect-Oriented Languages Workshop at AOSD, pp. 37-46 (2007)
11. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.G.: An overview of aspectJ. In: ECOOP '01: Proceedings of the 15th European Conference on Object-Oriented Programming. LNCS, vol. 2072, pp. 327-353 (2001) (Pubitemid 33291302)
12. Kishon, A.: Theory and art of semantics-directed program execution monitoring. Ph.D. thesis, Yale University (1992)
13. A. Kishon P. Hudak 1995 Semantics directed program execution monitoring J. Funct. Program. 5 4 501 547 10.1017/S0956796800001465
14. Lämmel, R.: Reuse by program transformation. In: Trends in Functional Programming, Selected Papers from the 1st Scottish Functional Programming Workshop, vol. 1, pp. 144-153 (1999)
15. Launchbury, J.: A natural semantics for lazy evaluation. In: Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 144-154 (1993)
16. Masuhara, H., Tatsuzawa, H., Yonezawa, A.: Aspectual Caml: an aspect-oriented functional language. In: ICFP '05: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, New York, NY, USA, pp. 320-330 (2005) (Pubitemid 43907055)
17. Meuter, W.D.: Monads as a theoretical foundation for AOP. In: International Workshop on Aspect-Oriented Programming at ECOOP (1997)
18. Oliveira, B.C.D.S., Schrijvers, T., Cook, W.R.: EffectiveAdvice: disciplined advice with explicit effects. In: ACM SIG Proceedings of the 9th International Conference on Aspect-Oriented Software Development (AOSD) (2010)
19. Wadler, P.: The essence of functional programming. In: Proceedings of the 19th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 1-14 (1992)
20. Wang, M., Chen, K., Khoo, S.-C.: Type-directed weaving of aspects for higher-order functional languages. In: PEPM '06: Workshop on Partial Evaluation and Program Manipulation, pp. 78-87 (2006) (Pubitemid 46946399)
21. Wang, M., Oliveira, B.C.D.S.: What does aspect-oriented programming mean for functional programmers. In: WGP '09: Proceedings of the 2009 ACM SIGPLAN Workshop on Generic Programming, New York, NY, USA, pp. 37-48 (2009)
22. Wansbrough, K., Peyton Jones, S.: Once upon a polymorphic type. In: 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 15-28 (1999)