Please use this identifier to cite or link to this item: https://doi.org/10.1145/1111542.1111555
Title: Type-directed weaving of aspects for higher-order functional languages
Authors: Wang, M. 
Chen, K.
Khoo, S.-C. 
Keywords: Aspect oriented
Functional language
Higher-order
Type inference
Weaving
Issue Date: 2006
Source: Wang, M.,Chen, K.,Khoo, S.-C. (2006). Type-directed weaving of aspects for higher-order functional languages. Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation : 78-87. ScholarBank@NUS Repository. https://doi.org/10.1145/1111542.1111555
Abstract: Aspect-oriented programming (AOP) has been shown to be a useful model for software development. Special care must be taken when we try to adapt AOP to strongly typed functional languages which come with features like a type inference mechanism, polymorphic types, higher-order functions and type-scoped pointcuts. Our main contribution lies in a seamless integration of these two paradigms through a static weaving process which deals with around advices with type-scoped pointcuts in the presence of higher-order functions. We give a source-level type inference system for a higher-order, polymorphic language coupled with type-scoped pointcuts. The type system ensures that base programs are oblivious to the type of around advices. We present a type-directed translation scheme which resolves all advice applications at static time. The translation removes advice declarations from source programs and produces translated code which is typable in the Hindley-Milner system. Copyright © 2006 ACM.
Source Title: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation
URI: http://scholarbank.nus.edu.sg/handle/10635/41460
ISBN: 1595931961
DOI: 10.1145/1111542.1111555
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

13
checked on Dec 13, 2017

Page view(s)

50
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.