Skip to main content
SpringerLink
Log in
Book cover

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, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Gilles Barthe

    1. Facultad de Informatica (UPM), IMDEA Software, Boadilla del Monte, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • fast-track conference proceedings

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6602)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: ESOP 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Front Matter

    Download chapter PDF

  2. Verified Software Toolchain

    • Andrew W. Appel
    Pages 1-17

  3. Polymorphic Contracts

    • João Filipe Belo, Michael Greenberg, Atsushi Igarashi, Benjamin C. Pierce
    Pages 18-37

  4. Proving Isolation Properties for Software Transactional Memory

    • Annette Bieniusa, Peter Thiemann
    Pages 38-56

  5. Typing Copyless Message Passing

    • Viviana Bono, Chiara Messa, Luca Padovani
    Pages 57-76

  6. Measure Transformer Semantics for Bayesian Machine Learning

    • Johannes Borgström, Andrew D. Gordon, Michael Greenberg, James Margetson, Jurgen Van Gael
    Pages 77-96

  7. Transfer Function Synthesis without Quantifier Elimination

    • Jörg Brauer, Andy King
    Pages 97-115

  8. Semantics of Concurrent Revisions

    • Sebastian Burckhardt, Daan Leijen
    Pages 116-135

  9. Type-Based Access Control in Data-Centric Systems

    • Luís Caires, Jorge A. Pérez, João Costa Seco, Hugo Torres Vieira, Lúcio Ferrão
    Pages 136-155

  10. Linear Absolute Value Relation Analysis

    • Liqian Chen, Antoine Miné, Ji Wang, Patrick Cousot
    Pages 156-175

  11. Generalizing the Template Polyhedral Domain

    • Michael A. Colón, Sriram Sankaranarayanan
    Pages 176-195

  12. Dataflow Analysis for Datarace-Free Programs

    • Arnab De, Deepak D’Souza, Rupesh Nasre
    Pages 196-215

  13. Compiling Information-Flow Security to Minimal Trusted Computing Bases

    • Cédric Fournet, Jérémy Planul
    Pages 216-235

  14. Improving Strategies via SMT Solving

    • Thomas Martin Gawlitza, David Monniaux
    Pages 236-255

  15. Typing Local Control and State Using Flow Analysis

    • Arjun Guha, Claudiu Saftoiu, Shriram Krishnamurthi
    Pages 256-275

  16. Barriers in Concurrent Separation Logic

    • Aquinas Hobor, Cristian Gherghina
    Pages 276-296

  17. From Exponential to Polynomial-Time Security Typing via Principal Types

    • Sebastian Hunt, David Sands
    Pages 297-316

  18. Secure the Clones

    • Thomas Jensen, Florent Kirchner, David Pichardie
    Pages 317-337

  19. Biochemical Reaction Rules with Constraints

    • Mathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari
    Pages 338-357

  20. A Testing Theory for a Higher-Order Cryptographic Language

    • Vasileios Koutavas, Matthew Hennessy
    Pages 358-377
Back to top

Other volumes

  1. Programming Languages and Systems

Keywords

About this book

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.

Editors and Affiliations

  • Facultad de Informatica (UPM), IMDEA Software, Boadilla del Monte, Spain

    Gilles Barthe

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation