Witnessing side-effects

Tachio Terauchi, Alex Aiken

研究成果: Article査読

7 被引用数 (Scopus)

抄録

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.

本文言語English
ページ(範囲)105-115
ページ数11
ジャーナルACM SIGPLAN Notices
40
9
DOI
出版ステータスPublished - 2005
外部発表はい

ASJC Scopus subject areas

  • Software
  • Computer Graphics and Computer-Aided Design

フィンガープリント 「Witnessing side-effects」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル