223
Voted
ESOP
14 years 7 months 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...
137
Voted
ESOP
14 years 7 months ago
2011 Springer  165
Voted
ESOP
14 years 7 months 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...
134
Voted
ESOP
14 years 7 months ago
2011 Springer 142
Voted
ESOP
14 years 7 months 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...
|
Programming Languages