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

This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbrücken, Germany, March 30--April 1, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 24 revised full papers presented together with one full length invited talk were carefully reviewed and selected from 93 full paper submissions. Papers were invited on all aspects of programming language research including: programming paradigms and styles, methods and tools to write and specify programs and languages, methods and tools for reasoning about programs, methods and tools for implementation, and concurrency and distribution. Front Matter....Pages - Verified Software Toolchain....Pages 1-17 Polymorphic Contracts....Pages 18-37 Proving Isolation Properties for Software Transactional Memory....Pages 38-56 Typing Copyless Message Passing....Pages 57-76 Measure Transformer Semantics for Bayesian Machine Learning....Pages 77-96 Transfer Function Synthesis without Quantifier Elimination....Pages 97-115 Semantics of Concurrent Revisions....Pages 116-135 Type-Based Access Control in Data-Centric Systems....Pages 136-155 Linear Absolute Value Relation Analysis....Pages 156-175 Generalizing the Template Polyhedral Domain....Pages 176-195 Dataflow Analysis for Datarace-Free Programs....Pages 196-215 Compiling Information-Flow Security to Minimal Trusted Computing Bases....Pages 216-235 Improving Strategies via SMT Solving....Pages 236-255 Typing Local Control and State Using Flow Analysis....Pages 256-275 Barriers in Concurrent Separation Logic....Pages 276-296 From Exponential to Polynomial-Time Security Typing via Principal Types....Pages 297-316 Secure the Clones....Pages 317-337 Biochemical Reaction Rules with Constraints....Pages 338-357 A Testing Theory for a Higher-Order Cryptographic Language....Pages 358-377 A New Method for Dependent Parsing....Pages 378-397 Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs....Pages 398-418 Algorithmic Nominal Game Semantics....Pages 419-438 The Relationship between Separation Logic and Implicit Dynamic Frames....Pages 439-458 Precise Interprocedural Analysis in the Presence of Pointers to the Stack....Pages 459-479 General Bindings and Alpha-Equivalence in Nominal Isabelle....Pages 480-500 Back Matter....Pages - This book constitutes the refereed proceedings of the 11th Asian Symposium on Programming Languages and Systems, APLAS 2013, held in Melbourne, Australia, in December 2013. The papers cover a variety of foundational and practical issues in programming languages and systems. This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbrucken, Germany, March 30-April 1, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software.