20. ESOP 2011:
Saarbrücken,
Germany (Part of ETAPS 2011)
Gilles Barthe (Ed.):
Programming Languages and Systems - 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26-April 3, 2011. Proceedings.
Lecture Notes in Computer Science 6602 Springer 2011, ISBN 978-3-642-19717-8 
- Andrew W. Appel:
Verified Software Toolchain - (Invited Talk).
1-17
- João Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce:
Polymorphic Contracts.
18-37
- Annette Bieniusa, Peter Thiemann:
Proving Isolation Properties for Software Transactional Memory.
38-56
- Viviana Bono, Chiara Messa, Luca Padovani:
Typing Copyless Message Passing.
57-76
- Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael:
Measure Transformer Semantics for Bayesian Machine Learning.
77-96
- Jörg Brauer, Andy King:
Transfer Function Synthesis without Quantifier Elimination.
97-115
- Sebastian Burckhardt, Daan Leijen:
Semantics of Concurrent Revisions.
116-135
- Luís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão:
Type-Based Access Control in Data-Centric Systems.
136-155
- Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot:
Linear Absolute Value Relation Analysis.
156-175
- Michael Colón, Sriram Sankaranarayanan:
Generalizing the Template Polyhedral Domain.
176-195
- Arnab De, Deepak D'Souza, Rupesh Nasre:
Dataflow Analysis for Datarace-Free Programs.
196-215
- Cédric Fournet, Jérémy Planul:
Compiling Information-Flow Security to Minimal Trusted Computing Bases.
216-235
- Thomas Martin Gawlitza, David Monniaux:
Improving Strategies via SMT Solving.
236-255
- Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi:
Typing Local Control and State Using Flow Analysis.
256-275
- Aquinas Hobor, Cristian Gherghina:
Barriers in Concurrent Separation Logic.
276-296
- Sebastian Hunt, David Sands:
From Exponential to Polynomial-Time Security Typing via Principal Types.
297-316
- Thomas P. Jensen, Florent Kirchner, David Pichardie:
Secure the Clones - Static Enforcement of Policies for Secure Object Copying.
317-337
- Mathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari:
Biochemical Reaction Rules with Constraints.
338-357
- Vasileios Koutavas, Matthew Hennessy:
A Testing Theory for a Higher-Order Cryptographic Language - (Extended Abstract).
358-377
- Trevor Jim, Yitzhak Mandelbaum:
A New Method for Dependent Parsing.
378-397
- Antoine Miné:
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs.
398-418
- Andrzej S. Murawski, Nikos Tzevelekos:
Algorithmic Nominal Game Semantics.
419-438
- Matthew J. Parkinson, Alexander J. Summers:
The Relationship between Separation Logic and Implicit Dynamic Frames.
439-458
- Pascal Sotin, Bertrand Jeannet:
Precise Interprocedural Analysis in the Presence of Pointers to the Stack.
459-479
- Christian Urban, Cezary Kaliszyk:
General Bindings and Alpha-Equivalence in Nominal Isabelle.
480-500
Last update Fri May 25 05:58:29 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
