Witnessing side-effects

Tachio Terauchi, Alex Aiken

Research output: Contribution to journalArticle

7 Citations (Scopus)

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 languageEnglish
Pages (from-to)105-115
Number of pages11
JournalACM SIGPLAN Notices
Volume40
Issue number9
DOIs
Publication statusPublished - 2005
Externally publishedYes

    Fingerprint

Keywords

  • Functional languages
  • Side-effects

ASJC Scopus subject areas

  • Computer Science(all)

Cite this