Sciweavers

Share
ESOP
2011
Springer
10 years 3 months ago
Barriers in Concurrent Separation Logic
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...
Aquinas Hobor, Cristian Gherghina
ESOP
2011
Springer
10 years 3 months ago
Polymorphic Contracts
João Filipe Belo, Michael Greenberg, Atsush...
ESOP
2011
Springer
10 years 3 months ago
Measure Transformer Semantics for Bayesian Machine Learning
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...
Johannes Borgström, Andrew D. Gordon, Michael...
ESOP
2011
Springer
10 years 3 months ago
Linear Absolute Value Relation Analysis
Liqian Chen, Antoine Miné, Ji Wang, Patrick...
ESOP
2011
Springer
10 years 3 months ago
Typing Local Control and State Using Flow Analysis
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...
Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
Programming Languages
Top of PageReset Settings
books