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

學術產出-期刊論文

文章檢視/開啟

書目匯出

Google ScholarTM

政大圖書館

引文資訊

TAIR相關學術產出

題名 Side-Effect Localization for Lazy, Purely Functional Languages via Aspects
作者 陳恭
Chen, Kung
Weng, Shu-Chun
Wang, Meng
Lin, Jia-Yin
貢獻者 資科系
關鍵詞 Aspect-oriented programming;Side-effect;Lazy semantics;Monadification
日期 2011.06
上傳時間 25-六月-2014 16:26:58 (UTC+8)
摘要 Many side-effecting programming activities, such as profiling and tracing, can be formulated as crosscutting concerns and be framed as side-effecting aspects in the aspect-oriented programming paradigm. The benefit gained from this separation of concerns is particularly evident in purely functional programming, as adding such aspects using techniques such as monadification will generally lead to crosscutting changes. This paper presents an approach to provide side-effecting aspects for lazy purely functional languages in a user transparent fashion. We propose a simple yet direct state manipulation construct for developing side-effecting aspects and devise a systematic monadification scheme to translate the woven code to monadic style purely functional code. Furthermore, we present a static and dynamic semantics of the aspect programs and reason about the correctness of our monadification scheme with respect to them.
關聯 Higher-Order Logic and Symbolic Computation, 24(1-2), 151-189
資料類型 article
DOI http://dx.doi.org/10.1007/s10990-011-9073-0
dc.contributor 資科系en_US
dc.creator (作者) 陳恭zh_TW
dc.creator (作者) Chen, Kungen_US
dc.creator (作者) Weng, Shu-Chunen_US
dc.creator (作者) Wang, Mengen_US
dc.creator (作者) Lin, Jia-Yinen_US
dc.date (日期) 2011.06en_US
dc.date.accessioned 25-六月-2014 16:26:58 (UTC+8)-
dc.date.available 25-六月-2014 16:26:58 (UTC+8)-
dc.date.issued (上傳時間) 25-六月-2014 16:26:58 (UTC+8)-
dc.identifier.uri (URI) http://nccur.lib.nccu.edu.tw/handle/140.119/66921-
dc.description.abstract (摘要) Many side-effecting programming activities, such as profiling and tracing, can be formulated as crosscutting concerns and be framed as side-effecting aspects in the aspect-oriented programming paradigm. The benefit gained from this separation of concerns is particularly evident in purely functional programming, as adding such aspects using techniques such as monadification will generally lead to crosscutting changes. This paper presents an approach to provide side-effecting aspects for lazy purely functional languages in a user transparent fashion. We propose a simple yet direct state manipulation construct for developing side-effecting aspects and devise a systematic monadification scheme to translate the woven code to monadic style purely functional code. Furthermore, we present a static and dynamic semantics of the aspect programs and reason about the correctness of our monadification scheme with respect to them.en_US
dc.format.extent 1091099 bytes-
dc.format.mimetype application/pdf-
dc.language.iso en_US-
dc.relation (關聯) Higher-Order Logic and Symbolic Computation, 24(1-2), 151-189en_US
dc.subject (關鍵詞) Aspect-oriented programming;Side-effect;Lazy semantics;Monadificationen_US
dc.title (題名) Side-Effect Localization for Lazy, Purely Functional Languages via Aspectsen_US
dc.type (資料類型) articleen
dc.identifier.doi (DOI) 10.1007/s10990-011-9073-0en_US
dc.doi.uri (DOI) http://dx.doi.org/10.1007/s10990-011-9073-0en_US