146
click to vote
ESOP
13 years 9 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...
109
click to vote
ESOP
13 years 9 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...
103
click to vote
ESOP
13 years 9 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...
146
click to vote
ESOP
13 years 9 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...
117
click to vote
ESOP
13 years 9 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