TY - GEN
T1 - Derivatives
T2 - Workshop on Internet Programming Languages, ICCL 1998
AU - Duggan, Dominic
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1999.
PY - 1999
Y1 - 1999
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=84957013123&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84957013123&partnerID=8YFLogxK
U2 - 10.1007/3-540-47959-7_6
DO - 10.1007/3-540-47959-7_6
M3 - Conference contribution
AN - SCOPUS:84957013123
SN - 3540666737
SN - 9783540666738
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 13
EP - 126
BT - Internet Programming Languages - ICCL 1998 Workshop, Proceedings
A2 - Bal, Henri E.
A2 - Belkhouche, Boumediene
A2 - Cardelli, Luca
Y2 - 13 May 1998 through 13 May 1998
ER -