Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Witnessing Side Effects TACHIO TERAUCHI
 

Summary: Witnessing Side Effects
TACHIO TERAUCHI
Tohoku University
and
ALEX AIKEN
Stanford University
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.
Categories and Subject Descriptors: D.3.3 [Programming Languages]: Language Constructs
and Features; D.3.2 [Language Classifications]: Applicative (functional) languages; F.3.2 [Se-
mantics of Programming Languages]: Program analysis; F.3.3 [Studies of Program Con-
structs]: Type structure
General Terms: Algorithms, Design, Languages, Theory
Additional Key Words and Phrases: Side effects, Mutable state
1. INTRODUCTION
Adding global mutable state to a purely functional language is a well-known prob-

  

Source: Aiken, Alex - Department of Computer Science, Stanford University

 

Collections: Computer Technologies and Information Sciences