133
click to vote
ESOP
13 years 8 months ago
2012 Springer 
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it is only appropriate for sequentially consistent mem...
99
Voted
ESOP
13 years 8 months ago
2012 Springer
A lock placement describes, for each heap location, which lock guards the location, and under what circumstances. We formalize methods for reasoning about lock placements, making p...
ESOP
13 years 8 months ago
2012 Springer 
The existing call-by-need λ calculi describe lazy evaluation via equational logics. A programmer can use these logics to safely ascertain whether one term is behaviorally equivale...
132
click to vote
ESOP
13 years 8 months ago
2012 Springer
Abstract. MapReduce, being inspired by the map and reduce primitives available in many functional languages, is the de facto standard for large scale data-intensive parallel progra...
106
click to vote
ESOP
13 years 8 months ago
2012 Springer 
Abstract. A behavioral contract in a higher-order language may invoke methods of unknown objects. Although this expressive power allows programmers to formulate sophisticated contr...
|
Programming Languages