1559 search results - page 1 / 312 » The Semantics of Future and Its Use in Program Optimizations |
POPL
1995
ACM
13 years 11 months ago
1995
ACM
FMCO
2008
Springer
13 years 9 months ago
2008
Springer
This paper is placed in the context of large scale distributed programming, providing a programming model based on asynchronous components. It focuses on the semantics of asynchron...
CC
2010
Springer
13 years 5 months ago
2010
Springer
Abstract. We introduce the concept of future values. Using future values it is possible to represent programs in a new control-flow form such that on any control flow path the data...
FROCOS
2005
Springer
14 years 29 days ago
2005
Springer
Reasoning about the correctness of program transformations requires a notion of program equivalence. We present an observational semantics for the concurrent lambda calculus with f...
PSLS
1995
13 years 11 months ago
1995
Abstract. Lazy task creation (LTC) is an e cient approach for executing divide and conquer parallel programs that has been used in the implementation of Multilisp's future con...