Witnessing side-effects
Witnessing side-effects
复制标题
见证副作用
DOI：
10.1145/1086365.1086379
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
A. Aiken
中科院分区：
文献类型：
--
作者：
Tachio Terauchi;A. Aiken
我们提出了一种新的方法来解决纯函数语言中添加副作用的老问题。我们的想法是扩展语言与“证人”，这是基于一个可以说是更务实的动机比过去的方法。我们给出了正确性的语义条件，并证明了它是充分的。我们还给出了一个静态检查算法，利用网络流的性质相当于语义条件。
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.