Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 105-115 |
| Number of pages | 11 |
| Journal | ACM SIGPLAN Notices |
| Volume | 40 |
| Issue number | 9 |
| DOIs | |
| Publication status | Published - 2005 Dec 1 |
Keywords
- Functional languages
- Side-effects
ASJC Scopus subject areas
- Software
- Computer Graphics and Computer-Aided Design
Fingerprint Dive into the research topics of 'Witnessing side-effects'. Together they form a unique fingerprint.
Cite this
Terauchi, T., & Aiken, A. (2005). Witnessing side-effects. ACM SIGPLAN Notices, 40(9), 105-115. https://doi.org/10.1145/1090189.1086379