Type-Directed Weaving of Aspects for Higher-order Functional Languages

Wang, Meng and Chen, Kung and Khoo, Siau-Cheng (2006) Type-Directed Weaving of Aspects for Higher-order Functional Languages. In: ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, 2006-01-09. (doi:https://doi.org/10.1145/1111542.1111555) (Full text available)

PDF - Publisher pdf
Download (176kB) Preview
[img]
Preview
Official URL
http://dl.acm.org/citation.cfm?id=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 higherorder, 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.

Item Type: Conference or workshop item (Paper)
Uncontrolled keywords: Aspect Oriented, Higher-Order, Type Inference, Weaving, Functional Language
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 75 Electronic computers. Computer science
Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Sciences > School of Computing > Programming Languages and Systems Group
Depositing User: Meng Wang
Date Deposited: 28 Feb 2015 15:59 UTC
Last Modified: 23 Mar 2015 17:43 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/47467 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year