Skip to main content
  • Conference proceedings
  • © 2011

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

Editors:

  • 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)

Conference series link(s): ESOP: European Symposium on Programming

Conference proceedings info: ESOP 2011.

Buying options

eBook USD 99.00
Price excludes VAT (USA)
  • ISBN: 978-3-642-19718-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 129.00
Price excludes VAT (USA)

This is a preview of subscription content, access via your institution.

Table of contents (25 papers)

  1. Front Matter

  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. Secure the Clones

    • Thomas Jensen, Florent Kirchner, David Pichardie
    Pages 317-337
  18. Biochemical Reaction Rules with Constraints

    • Mathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari
    Pages 338-357
  19. A Testing Theory for a Higher-Order Cryptographic Language

    • Vasileios Koutavas, Matthew Hennessy
    Pages 358-377

Other Volumes

  1. 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

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.

Keywords

  • abstract interpretation
  • concurrency
  • dataflow analysis
  • dynamic checking
  • language-based security
  • logic programming
  • object-oriented programming
  • operational semantics
  • parallel programming
  • program transformation
  • program verification
  • programming models
  • programming techniques
  • semantics
  • software implementation
  • static analysis
  • syntactic proof
  • verification

Editors and Affiliations

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

    Gilles Barthe

Bibliographic Information

Buying options

eBook USD 99.00
Price excludes VAT (USA)
  • ISBN: 978-3-642-19718-5
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 129.00
Price excludes VAT (USA)