Derivatives: A construct for internet programming

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

Abstract

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
Pages13-126
Number of pages114
DOIs
StatePublished - 1999
EventWorkshop on Internet Programming Languages, ICCL 1998 - Chicago, United States
Duration: 13 May 199813 May 1998

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume1686
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceWorkshop on Internet Programming Languages, ICCL 1998
Country/TerritoryUnited States
CityChicago
Period13/05/9813/05/98

Fingerprint

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

Cite this