Skip to main content
SpringerLink
Log in
Book cover

Programming Languages and Systems

22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings

  • Conference proceedings
  • © 2013

Overview

Editors:
  1. Matthias Felleisen

    1. College of Computer Science, Northeastern University, Boston, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Philippa Gardner

    1. Department of Computing, Imperial College, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Contains the proceedings of ESOP 2013
  • Presents 31 full-length papers, two of which focus on tools, as well as a full-length invited talk
  • Covers all aspects of the art and science of programming

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: ESOP 2013.

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 (32 papers)

  1. Session VI: Process Calculi

    1. Higher-Order Processes, Functions, and Sessions: A Monadic Integration

      • Bernardo Toninho, Luis Caires, Frank Pfenning
      Pages 350-369

    2. Concurrent Flexible Reversibility

      • Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani
      Pages 370-390

  2. Session VII: Taming Concurrency

    1. Structural Lock Correlation with Ownership Types

      • Yi Lu, John Potter, Jingling Xue
      Pages 391-410

    2. Taming Confusion for Modeling and Implementing Probabilistic Concurrent Systems

      • Joost-Peter Katoen, Doron Peled
      Pages 411-430

  3. Session VIII: Model Checking and Verification

    1. Model-Checking Higher-Order Programs with Recursive Types

      • Naoki Kobayashi, Atsushi Igarashi
      Pages 431-450

    2. Counterexample-Guided Precondition Inference

      • Mohamed Nassim Seghir, Daniel Kroening
      Pages 451-471

    3. Information Reuse for Multi-goal Reachability Analyses

      • Dirk Beyer, Andreas Holzer, Michael Tautschnig, Helmut Veith
      Pages 472-491

  4. Session IX: Weak-Memory Concurrency and Verification

    1. Quarantining Weakness

      • Radha Jagadeesan, Gustavo Petri, Corin Pitcher, James Riely
      Pages 492-511

    2. Software Verification for Weak Memory via Program Transformation

      • Jade Alglave, Daniel Kroening, Vincent Nimal, Michael Tautschnig
      Pages 512-532

    3. Checking and Enforcing Robustness against TSO

      • Ahmed Bouajjani, Egor Derevenetc, Roland Meyer
      Pages 533-553

  5. Session X: Types, Inference, and Analysis

    1. GADTs Meet Subtyping

      • Gabriel Scherer, Didier Rémy
      Pages 554-573

    2. A Data Driven Approach for Algebraic Loop Invariants

      • Rahul Sharma, Saurabh Gupta, Bharath Hariharan, Alex Aiken, Percy Liang, Aditya V. Nori
      Pages 574-592

    3. Automatic Type Inference for Amortised Heap-Space Analysis

      • Martin Hofmann, Dulma Rodriguez
      Pages 593-613

  6. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Programming Languages and Systems

Keywords

About this book

This book constitutes the refereed proceedings of the 22nd European Symposium on Programming, ESOP 2013, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013. The 31 papers, presented together with a full-length invited talk, were carefully reviewed and selected from 120 full submissions. The contributions have been organized according to ten topical sections on programming techniques; programming tools; separation logic; gradual typing; shared-memory concurrency and verification; process calculi; taming concurrency; model checking and verification; weak-memory concurrency and verification; and types, inference, and analysis.

Editors and Affiliations

  • College of Computer Science, Northeastern University, Boston, USA

    Matthias Felleisen

  • Department of Computing, Imperial College, London, UK

    Philippa Gardner

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation