Type-directed weaving of aspects for higher-order functional languages

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation

Volumn , Issue , 2006, Pages 78-87

  Wang, Meng ^a   Chen, Kung ^b   Khoo, Siau Cheng ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^b NATIONAL CHENGCHI UNIVERSITY   (Taiwan)

Author keywords

Aspect oriented; Functional language; Higher order; Type inference; Weaving

Indexed keywords

COMPUTER AIDED LANGUAGE TRANSLATION; OBJECT ORIENTED PROGRAMMING; POLYMORPHISM; SOFTWARE ENGINEERING;

ASPECT ORIENTED; FUNCTIONAL LANGUAGE; HIGHER-ORDER; PARADIGMS; STATIC TIME; TYPE INFERENCE;

COMPUTER PROGRAMMING LANGUAGES;

EID: 34250652171     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1111542.1111555     Document Type: Conference Paper

References (21)

1. S. Anand, W.-N. Chin, and S.-C. Khoo. Charting patterns on price history. In ICFP '01: Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, pages 134-145, New York, NY, USA, 2001. ACM Press.
2. Aspectwerkz project, http://aspectwerkz.codehaus.org.
3. G. Bruns, R. Jagadeesan, A. Jeffrey, and J. Riely. μtabc: A minimal aspect calculus. In Proc. Concur. Springer-Verlag, 2004.
4. C. Clifton and G. Leavens. Minimao: Investigating the semantics of proceed. In Proceedings of the Foundations of Aspect-Oriented Languages, 2005.
5. D. S. Dantas, D. Walker, G. Washburn, and S. Weirich. Polyaml: a polymorphic aspect-oriented functional programmming language. In Proc. of ICFP'05. ACM Press, September 2005.
6. C. Elliott and P. Hudak. Functional reactive animation. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '97), volume 32(8), pages 263-273, 1997.
7. R. Filman and D. Friedman. Aspect-oriented programming is quantification and obliviousness. In R. E. Filman, T. Elrad, S. Clarke, and M. Aksit, editors, Aspect-Oriented Software Development, pages 21-35. Addison-Wesley, Boston, 2005.
8. P. Hudak. Building domain-specific embedded languages. ACM Comput. Surv., 28(4es):196, 1996.
9. R. Jagadeesan, A. Jeffrey, and J. Riely. A calculus of untyped aspect-oriented programs. In Proceedings of the 2003 European Conference on Object Oriented Programming, pages 54-73. Springer, 2003.
10. Jboss aop project, http://www.jboss.org/products/aop.
11. S. Peyton Jones, J. Eber, and J. Seward. Composing contracts: an adventure in financial engineering (functional pearl). In ICFP '00: Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, pages 280-292, New York, NY, USA, 2000. ACM Press.
12. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of aspectj. In ECOOP '01: Proceedings of the 15th European Conference on Object-Oriented Programming, pages 327-353, London, UK, 2001. Springer-Verlag.
13. G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J. Loingtier, and J. Irwin. Aspect-oriented programming. In Mehmet Akşit and Satoshi Matsuoka, editors, Proceedings European Conference on Object-Oriented Programming, volume 1241, pages 220-242. Springer-Verlag, Berlin, Heidelberg, and New York, 1997.
14. R. Lämmel and S. Peyton Jones. Scrap your boilerplate: a practical design pattern for generic programming. In TLDI '03: Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation, pages 26-37, New York, NY, USA, 2003. ACM Press.
15. R. Lämmel and S. Peyton Jones. Scrap more boilerplate: reflection, zips, and generalised casts. In ICFP '04: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming, pages 244-255, New York, NY, USA, 2004. ACM Press.
16. H. Masuhara, H. Tatsuzawa, and A. Yonezawa. Aspectual cainl: an aspect-oriented functional language. In Proc. of ICFP'05. ACM Press, September 2005.
17. O. Spinczyk, A. Gal, and W. Schröder-Preikschat. Aspectc++: an aspect-oriented extension to the c++ programming language. In CRPITS '02: Proceedings of the Fortieth International Confernece on Tools Pacific, pages 53-60, Darlinghurst, Australia, Australia, 2002. Australian Computer Society, Inc.
18. D. Tucker and S. Krishnamurthi. Pointcuts and advice in higher-order languages. In Proceedings of the 2nd International Conference on Aspect-Oriented Software Development, 2003.
19. P. Wadler and S. Blott. How to make ad-hoc polymorphism less adhoc. In Conference Record of the 16th Annual ACM Symposium on Principles of Programming Languages, pages 60-76. ACM, January 1989.
20. D. Walker, S. Zdancewic, and J. Ligatti. A theory of aspects. In ICFP '03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, pages 127-139, New York, NY, USA, 2003. ACM Press.
21. M. Wand, O. Kiczales, and C. Dutchyn. A semantics for advice and dynamic join points in aspect-oriented programming. TOPLAS, 26(5):890-910, September 2004.