default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20. ESOP 2011: Saarbrücken, Germany (Part of ETAPS 2011)
- Gilles Barthe
:
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-14 23:20 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
