TY - GEN
T1 - Witnessing side-effects
AU - Terauchi, Tachio
AU - Aiken, Alex
PY - 2005
Y1 - 2005
N2 - We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based on an arguably more pragmatic motivation than past approaches. We give a semantic condition for correctness and prove it is sufficient.We also give a static checking algorithm that makes use of a network flow property equivalent to the semantic condition.
AB - We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based on an arguably more pragmatic motivation than past approaches. We give a semantic condition for correctness and prove it is sufficient.We also give a static checking algorithm that makes use of a network flow property equivalent to the semantic condition.
KW - Functional languages
KW - Side-effects
UR - http://www.scopus.com/inward/record.url?scp=33750414626&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=33750414626&partnerID=8YFLogxK
U2 - 10.1145/1086365.1086379
DO - 10.1145/1086365.1086379
M3 - Conference contribution
AN - SCOPUS:33750414626
SN - 1595930647
SN - 9781595930644
T3 - Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
SP - 105
EP - 115
BT - ICFP 2005 - Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming
T2 - 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005
Y2 - 26 September 2005 through 28 September 2005
ER -