Derivatives: A construct for internet programming

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


Derivatives are introduced to provide optimistic computation as a programming language construct The motivation is in avoiding communication latency in wide-area distributed computing environments. A derivative represents a handle on a value that has not yet been received, where moreover the potential receiver may make assumptions about the value in order to proceed. Derivatives can therefore be seen as a generalization of futures and promises, which have also been introduced in order to deal with latency. A programming language, type system and operational semantics are provided supporting optimistic execution.

Original languageEnglish
Title of host publicationInternet Programming Languages - ICCL 1998 Workshop, Proceedings
EditorsHenri E. Bal, Boumediene Belkhouche, Luca Cardelli
PublisherSpringer Verlag
Number of pages114
ISBN (Print)3540666737, 9783540666738
StatePublished - 1999
EventWorkshop on Internet Programming Languages, ICCL 1998 - Chicago, United States
Duration: May 13 1998May 13 1998

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)


ConferenceWorkshop on Internet Programming Languages, ICCL 1998
Country/TerritoryUnited States

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Derivatives: A construct for internet programming'. Together they form a unique fingerprint.

Cite this