| dc.contributor | 資科系 | en_US |
| dc.creator (作者) | 陳恭 | zh_TW |
| dc.creator (作者) | Chen, Kung | en_US |
| dc.creator (作者) | Weng, Shu-Chun | en_US |
| dc.creator (作者) | Wang, Meng | en_US |
| dc.creator (作者) | Lin, Jia-Yin | en_US |
| dc.date (日期) | 2011.06 | en_US |
| dc.date.accessioned | 25-Jun-2014 16:26:58 (UTC+8) | - |
| dc.date.available | 25-Jun-2014 16:26:58 (UTC+8) | - |
| dc.date.issued (上傳時間) | 25-Jun-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-189 | en_US |
| dc.subject (關鍵詞) | Aspect-oriented programming;Side-effect;Lazy semantics;Monadification | en_US |
| dc.title (題名) | Side-Effect Localization for Lazy, Purely Functional Languages via Aspects | en_US |
| dc.type (資料類型) | article | en |
| dc.identifier.doi (DOI) | 10.1007/s10990-011-9073-0 | en_US |
| dc.doi.uri (DOI) | http://dx.doi.org/10.1007/s10990-011-9073-0 | en_US |
