144
click to vote
ESOP
14 years 11 days ago
2011 Springer
We develop and prove sound a concurrent separation logic for a language with Pthreads-style barriers. Although Pthreads barriers are widely used in systems, and separation logic is...
ESOP
14 years 11 days ago
2011 Springer 110
Voted
ESOP
14 years 11 days ago
2011 Springer
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...
ESOP
14 years 11 days ago
2011 Springer ESOP
14 years 11 days ago
2011 Springer
Programs written in scripting languages employ idioms that confound conventional type systems. In this paper, we highlight one important set of related idioms: the use of local con...
|