Witnessing side effects

Tachio Terauchi, Alex Aiken

研究成果: Article

3 引用 (Scopus)

抜粋

We present a new approach to the old problem of adding global mutable state 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 somewhat surprising static checking algorithm that makes use of a network flow property equivalent to the semantic condition via reduction to a satisfaction problem for a system of linear inequalities.

元の言語English
記事番号15
ジャーナルACM Transactions on Programming Languages and Systems
30
発行部数3
DOI
出版物ステータスPublished - 2008 5 1

    フィンガープリント

ASJC Scopus subject areas

  • Software

これを引用