Please use this identifier to cite or link to this item: https://doi.org/10.1007/s10990-011-9073-0
Title: Side-effect localization for lazy, purely functional languages via aspects
Authors: Chen, K.
Weng, S.-C.
Lin, J.-Y.
Wang, M.
Khoo, S.-C. 
Keywords: Aspect-oriented programming
Lazy semantics
Monadification
Side-effect
Issue Date: 2011
Source: Chen, K.,Weng, S.-C.,Lin, J.-Y.,Wang, M.,Khoo, S.-C. (2011). Side-effect localization for lazy, purely functional languages via aspects. Higher-Order and Symbolic Computation 24 (1-2) : 151-189. ScholarBank@NUS Repository. https://doi.org/10.1007/s10990-011-9073-0
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. © 2011 Springer Science+Business Media, LLC.
Source Title: Higher-Order and Symbolic Computation
URI: http://scholarbank.nus.edu.sg/handle/10635/41446
ISSN: 13883690
DOI: 10.1007/s10990-011-9073-0
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

1
checked on Dec 13, 2017

Page view(s)

52
checked on Dec 16, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.