Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarb

by Barthe, Gilles

• ISBN13: 9783642197178
• ISBN10: 3642197175
• Format: Paperback
• Copyright: 2011-05-03
• Publisher: Springer-Verlag New York Inc

Summary

This book constitutes the refereed proceedings of the 20th European Symposium on Programming, ESOP 2011, held in Saarbr#xC3;#xBC;cken, Germany, March 30#xE2;#xAC;#x1D;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.

Table of Contents

Verified Software Toolchain (Invited Talk)	p. 1
Polymorphic Contracts	p. 18
Proving Isolation Properties for Software Transactional Memory	p. 38
Typing Copyless Message Passing	p. 57
Measure Transformer Semantics for Bayesian Machine Learning	p. 77
Transfer Function Synthesis without Quantifier Elimination	p. 97
Semantics of Concurrent Revisions	p. 116
Type-Based Access Control in Data-Centric Systems	p. 136
Linear Absolute Value Relation Analysis	p. 156
Generalizing the Template Polyhedral Domain	p. 176
Dataflow Analysis for Datarace-Free Programs	p. 196
Compiling Information-Flow Security to Minimal Trusted Computing Bases	p. 216
Improving Strategies via SMT Solving	p. 236
Typing Local Control and State Using Flow Analysis	p. 256
Barriers in Concurrent Separation Logic	p. 276
From Exponential to Polynomial-Time Security Typing via Principal Types	p. 297
Secure the Clones: Static Enforcement of Policies for Secure Object Copying	p. 317
Biochemical Reaction Rules with Constraints	p. 338
A Testing Theory for a Higher-Order Cryptographic Language (Extended Abstract)	p. 358
A New Method for Dependent Parsing	p. 378
Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs	p. 398
Algorithmic Nominal Game Semantics	p. 419
The Relationship between Separation Logic and Implicit Dynamic Frames	p. 439
Precise Interprocedural Analysis in the Presence of Pointers to the Stack	p. 459
General Bindings and Alpha-Equivalence in Nominal Isabelle	p. 480
Author Index	p. 501
Table of Contents provided by Ingram. All Rights Reserved.