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. Springer 2011 Lecture Notes in Computer Science 6602 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
- Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael: Measure Transformer Semantics for Bayesian Machine Learning. 77-96
- 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
- Cédric Fournet, Jérémy Planul: Compiling Information-Flow Security to Minimal Trusted Computing Bases. 216-235
- Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi: Typing Local Control and State Using Flow Analysis. 256-275
- 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
- Antoine Miné: Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs. 398-418
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-12-12T214815 by the dblp team