840 search results - page 4 / 168 » Programming the future |
DLS
2009
13 years 5 months ago
2009
CROSSROADS
2010
13 years 4 months ago
2010
HVC
2005
Springer
14 years 29 days ago
2005
Springer
Non-determinism is a serious impediment to testing and debugging concurrent programs. Such programs do not execute the same way each time they are run, which can hide the presence ...
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...
COORDINATION
2009
Springer
14 years 8 months ago
2009
Springer
A future is a well-known programming construct used to introduce concurrency to sequential programs. Computations annotated as futures are executed asynchronously and run concurren...