SPECIAL ISSUE:
Selected Papers of the "20th European Symposium on Programming" ESOP 2011
Saarbrücken, Germany, 2011



Preface
G. Barthe and F. Piessens


Typing Copyless Message Passing
Viviana Bono and Luca Padovani


Static Analysis of Run-Time Errors in Embedded Real-Time Parallel C Programs
Antoine Miné


Barriers in Concurrent Separation Logic: Now With Tool Support!
Aquinas Hobor and Cristian Gherghina


Secure the Clones
Thomas Jensen, Florent Kirchner and David Pichardie


General Bindings and Alpha-Equivalence in Nominal Isabelle
Christian Urban and Cezary Kaliszyk


The Relationship Between Separation Logic and Implicit Dynamic Frames
Matthew J. Parkinson and Alexander J. Summers


Transfer Function Synthesis without Quantifier Elimination
Jörg Brauer and Andy King


Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs
Thomas Mart Gawlitza and David Monniaux


Measure Transformer Semantics for Bayesian Machine Learning
Johannes Borgström, Andrew D Gordon, Michael Greenberg, James Margetson and Jurgen Van Gael



DOI: 10.2168/LMCS-ESOP:2011

Creative Commons