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
EECS Department
University of California, Berkeley
tachio@cs.berkeley.edu
Alex Aiken
Computer Science Department
Stanford University
aiken@cs.stanford.edu
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.
Categories and Subject Descriptors D.3.1 [Programming Lan-
guages]: Formal Definitions and Theory; D.3.3 [Programming
Languages]: Language Constructs and Features

  

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

 

Collections: Computer Technologies and Information Sciences