Publication details

Programming Systems

Gert Smolka

Publications

Teaching

Software

Formalizations

Futures and By-need Synchronization

Michael Mehl, Christian Schulte, Gert Smolka

Technical Report, Programming Systems Lab, DFKI and Universität des Saarlandes, DRAFT, May 1998

We propose a conservative extension of Oz that adds futures and by-need synchronization. Futures are read-only views of logic variables that make it possible to statically limit the scope in which a variable can be constrained. For instance, one can express with futures safe streams that cannot be assigned by their readers. By-need synchronization makes it possible to synchronize a thread on the event that a thread blocks on a future. It is used to express dynamic linking and lazy functions.

Download PDF        Show BibTeX               

@TECHREPORT{futures:98,
  title = {Futures and By-need Synchronization},
  author = {Michael Mehl and Christian Schulte and Gert Smolka},
  year = {1998},
  month = {may},
  institution = {{Programming Systems Lab, DFKI and Universität des Saarlandes}},
  note = {{DRAFT}},
}

Login to edit