Please use this identifier to cite or link to this item:
https://ah.lib.nccu.edu.tw/handle/140.119/39803
DC Field | Value | Language |
---|---|---|
dc.contributor | ACM SIGPLAN | en_US |
dc.contributor | 國立政治大學資訊科學系 | en_US |
dc.creator | 陳恭 | zh_TW |
dc.date | 2009-01 | en_US |
dc.date.accessioned | 2010-05-27T08:50:50Z | - |
dc.date.available | 2010-05-27T08:50:50Z | - |
dc.date.issued | 2010-05-27T08:50:50Z | - |
dc.identifier.uri | http://nccur.lib.nccu.edu.tw/handle/140.119/39803 | - |
dc.description.abstract | Computation performed in many typical aspects involve side effects. In a purely functional setting, 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 purely lazy 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 a purely monadic style functional code. | - |
dc.language | en-US | en_US |
dc.language.iso | en_US | - |
dc.relation | Proceedings of the 2009 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation | en_US |
dc.subject | Side-Effect Localization | en_US |
dc.title | Designing Aspects for Side-Effect Localization | en_US |
dc.type | conference | en |
dc.identifier.doi | 10.1145/1480945.1480973 | en_US |
dc.doi.uri | http://dx.doi.org/10.1145/1480945.1480973 | en_US |
item.grantfulltext | open | - |
item.openairetype | conference | - |
item.cerifentitytype | Publications | - |
item.openairecristype | http://purl.org/coar/resource_type/c_18cf | - |
item.languageiso639-1 | en_US | - |
item.fulltext | With Fulltext | - |
Appears in Collections: | 會議論文 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
189-198.pdf | 534.21 kB | Adobe PDF2 | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.