A compilation model for aspect-oriented polymorphically typed functional languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4634 LNCS, Issue , 2007, Pages 34-51

  Chen, Kung ^a   Weng, Shu Chun ^b   Wang, Meng ^c   Khoo, Siau Cheng ^d   Chen, Chung Hsin ^a  

^a NATIONAL CHENGCHI UNIVERSITY   (Taiwan)

^b NATIONAL TAIWAN UNIVERSITY   (Taiwan)

^c UNIVERSITY OF OXFORD   (United Kingdom)

^d NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; OPTIMIZATION; PROGRAM COMPILERS; SEMANTICS; STATIC ANALYSIS;

COMPILATION MODELS; FUNCTIONAL LANGUAGES;

OBJECT ORIENTED PROGRAMMING;

EID: 38149066762     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74061-2_3     Document Type: Conference Paper

References (15)

1. Avgustinov, P., Christensen, A.S., Hendren, L., Kuzins, S., Lhoták, J., Lhoták, O., de Moor, O., Sereni, D., Sittampalam, G., Tibbie, J.: Optimising Aspect J. In: PLDI '05. Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation, New York, NY, USA, pp. 117-128. ACM Press, NewYork (2005)
2. Chen, K., Weng, S.-C., Wang, M., Khoo, S.-C., Chen, C.-H.: A compilation model for AspectFun. Technical report, TR-03-07, National Chengchi University, Taiwan (March 2007) http://www.cs.nccu.edu.tw/~chenk/AspectFun/AspectFun-TR.pdf
3. Dantas, D.S., Walker, D., Washburn, G., Weirich, S.: PolyAML: A polymorphic aspect-oriented functional programmming language. In: Proc. of ICFP'05. ACM Press, NewYork (2005)
4. Dantas, D.S., Walker, D., Washburn, G., Weirich, S.: AspectML: A polymorphic aspect-oriented functional programming language. ACM Transactions on Programming Languages and Systems (TOPLAS) (to appear, 2006)
5. Jagadeesan, R., Jeffrey, A., Riely, J.: Typed parametric polymorphism for aspects. Science of Computer Programming (to appear, 2006)
6. Jones, M.P.: Qualified Types: Theory and Practice. D.phil. thesis, Oxford University (September 1992)
7. M.P. Jones.: Functional programming with overloading and higher-order polymorphism. In: Advanced Functional Programming, pp. 97-136 (1995)
8. Kiczales, G., Lamping, J., Menhdhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., Irwin, J.: Aspect-oriented programming. In: Aksit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220-242. Springer, Heidelberg (1997)
9. Masuhara, H., Kiczales, G., Dutchyn, C.: A compilation and optimization model for aspect-oriented programs. In: CC, pp. 46-60 (2003)
10. Masuhara, H., Tatsuzawa, H., Yonezawa, A.: Aspectual Caml: an aspect-oriented functional language. In: Proc. of ICFP'05. ACM Press, NewYork (2005)
11. Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer-Verlag New York, Inc, Secaucus, NJ, USA (1999)
12. Rajan, H., Sullivan, K.J.: Classpects: unifying aspect- and object-oriented language design. In: Inverardi, P., Jazayeri, M. (eds.) ICSE 2005. LNCS, vol. 4309, pp. 59-68. ACM Press, NewYork (2005)
13. Sereni, D., de Moor, O.: Static analysis of aspects. In: Aksit, M. (ed.) AOSD. 2nd International Conference on Aspect-Oriented Software Development, pp. 30-39. ACM Press, NewYork (2003)
14. Wadler, P., Blott, S.: How to make ad-hoc polymorphism less ad-hoc. In: Conference Record of the 16th Annual ACM Symposium on Principles of Programming Languages, pp. 60-76. ACM, NewYork (1989)
15. 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, ACM Press, NewYork (2006)