UC BERKELEY
EECS technical reports
TECHNICAL REPORTS


CSD-05-1402.pdf
Conditions of Use

Archive Home Page

Witnessing Side-Effects

Authors:
Terauchi, Tachio
Aiken, Alex
Technical Report Identifier: CSD-05-1402
July 2005
CSD-05-1402.pdf

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.