Type-Directed Weaving of Aspects for Polymorphically Typed Functional Languages

Chen, Kung and Weng, Shu-Chun and Wang, Meng and Khoo, Siau-Cheng and Chen, Chung-Hsin (2010) Type-Directed Weaving of Aspects for Polymorphically Typed Functional Languages. Science of Computer Programming, 75 (11). pp. 1048-1076. ISSN 0167-6423. (doi:https://doi.org/10.1016/j.scico.2010.04.001) (Full text available)

PDF - Author's Accepted Manuscript
Download (536kB) Preview
[img]
Preview
Official URL
http://www.sciencedirect.com/science/article/pii/S...

Abstract

Incorporating aspect-oriented paradigm to a polymorphically typed functional language enables the declaration of type-scoped advice, in which the effect of an aspect can be harnessed by introducing possibly polymorphic type constraints to the aspect. The amalgamation of aspect orientation and functional programming enables quick behavioral adaption of functions, clear separation of concerns and expressive type-directed programming. However, proper static weaving of aspects in polymorphic languages with a type-erasure semantics remains a challenge. In this paper, we describe a type-directed static weaving strategy, as well as its implementation, that supports static type inference and static weaving of programs written in an aspect-oriented polymorphically typed functional language, AspectFun. We show examples of type-scoped advice, identify the challenges faced with compile-time weaving in the presence of type-scoped advice, and demonstrate how various advanced aspect features can be handled by our techniques. Lastly, we prove the correctness of the static weaving strategy with respect to the operational semantics of AspectFun.

Item Type: Article
Uncontrolled keywords: Aspect-oriented programming, Type-scoped advice, Static weaving, Polymorphically-typed 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 21:30 UTC
Last Modified: 17 Jan 2017 20:00 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/47475 (The current URI for this page, for reference purposes)
  • Depositors only (login required):

Downloads

Downloads per month over past year