282
click to vote
ESOP
14 years 10 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...
221
click to vote
ESOP
14 years 10 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...
180
click to vote
ESOP
14 years 10 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