1559 search results - page 1 / 312 » The Semantics of Future and Its Use in Program Optimizations |
88
Voted
POPL
1995
ACM
15 years 1 months ago
1995
ACM
FMCO
2008
Springer
14 years 11 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
14 years 8 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...
85
Voted
FROCOS
2005
Springer
15 years 3 months 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...
87
Voted
PSLS
1995
15 years 1 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...