1. NCCU Academic Hub
  2. 學術產出
  3. 資訊學院
  4. 期刊論文
  5. Item

學術產出-期刊論文

文章檢視/開啟

書目匯出

Google ScholarTM

政大圖書館

引文資訊

TAIR相關學術產出

題名 Type-directed weaving of aspects for polymorphically typed functional languages
作者 Chen, Kung;Weng, Shu-Chun;Wang, Meng;Khoo, Siau-Cheng;Chen, Chung-Hsin
陳恭
貢獻者 資科系
關鍵詞 Aspect-oriented programming; Type-scoped advice; Static weaving; Polymorphically typed functional language
日期 2010
上傳時間 17-六月-2015 16:22:45 (UTC+8)
摘要 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.
關聯 Science of Computer Programming - SCP , vol. 75, no. 11, pp. 1048-1076
資料類型 article
DOI http://dx.doi.org/10.1016/j.scico.2010.04.001
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 17-六月-2015 16:22:45 (UTC+8)-
dc.date.available 17-六月-2015 16:22:45 (UTC+8)-
dc.date.issued (上傳時間) 17-六月-2015 16:22:45 (UTC+8)-
dc.identifier.uri (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 (資料類型) articleen
dc.identifier.doi (DOI) 10.1016/j.scico.2010.04.001
dc.doi.uri (DOI) http://dx.doi.org/10.1016/j.scico.2010.04.001