Please use this identifier to cite or link to this item:
https://ah.lib.nccu.edu.tw/handle/140.119/75903
DC Field | Value | Language |
---|---|---|
dc.contributor | 資科系 | |
dc.creator | Chen, Kung;Weng, Shu-Chun;Wang, Meng;Khoo, Siau-Cheng;Chen, Chung-Hsin | |
dc.creator | 陳恭 | zh_TW |
dc.date | 2010 | |
dc.date.accessioned | 2015-06-17T08:22:45Z | - |
dc.date.available | 2015-06-17T08:22:45Z | - |
dc.date.issued | 2015-06-17T08:22:45Z | - |
dc.identifier.uri | http://nccur.lib.nccu.edu.tw/handle/140.119/75903 | - |
dc.description.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. Finally, we prove the correctness of the static weaving strategy with respect to the operational semantics of AspectFun. | |
dc.format.extent | 714069 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.relation | Science of Computer Programming - SCP , vol. 75, no. 11, pp. 1048-1076 | |
dc.subject | Aspect-oriented programming; Type-scoped advice; Static weaving; Polymorphically typed functional language | |
dc.title | Type-directed weaving of aspects for polymorphically typed functional languages | |
dc.type | article | en |
dc.identifier.doi | 10.1016/j.scico.2010.04.001 | |
dc.doi.uri | http://dx.doi.org/10.1016/j.scico.2010.04.001 | |
item.cerifentitytype | Publications | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.openairetype | article | - |
item.fulltext | With Fulltext | - |
item.grantfulltext | restricted | - |
Appears in Collections: | 期刊論文 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
1-s2.0-S0167642310000705-main.pdf | 697.33 kB | Adobe PDF2 | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.