Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar20. ESOP 2011: Saarbrücken, Germany (Part of ETAPS 2011)
BibTeX
RIS
RDF N-Triples
XML
Twitter
Reddit
Mendeley
BibSonomy
LinkedIn
Google+
FacebookGilles 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
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
João Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce:
Polymorphic Contracts. 18-37
Polymorphic Contracts. 18-37
Annette Bieniusa, Peter Thiemann:
Proving Isolation Properties for Software Transactional Memory. 38-56
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
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
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
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
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
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
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
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
Biochemical Reaction Rules with Constraints. 338-357
Vasileios Koutavas, Matthew Hennessy:
A Testing Theory for a Higher-Order Cryptographic Language - (Extended Abstract). 358-377
A Testing Theory for a Higher-Order Cryptographic Language - (Extended Abstract). 358-377
Matthew J. Parkinson, Alexander J. Summers:
The Relationship between Separation Logic and Implicit Dynamic Frames. 439-458
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
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
General Bindings and Alpha-Equivalence in Nominal Isabelle. 480-500
maintained by 
at 
at 
data released under the ODC-BY 1.0 license; see also our legal information page
last updated on 2017-08-16 21:58 CEST by the dblp team