Skip to main content
SpringerLink
Log in

Programming Languages and Systems

23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Zhong Shao

    1. Yale University, New Haven, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: ESOP 2014.

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

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Composable Transactional Objects: A Position Paper

      • Maurice Herlihy, Eric Koskinen
      Pages 1-7

    2. Application-Scale Secure Multiparty Computation

      • John Launchbury, Dave Archer, Thomas DuBuisson, Eric Mertens
      Pages 8-26

  3. Type Systems

    1. An Array-Oriented Language with Static Rank Polymorphism

      • Justin Slepak, Olin Shivers, Panagiotis Manolios
      Pages 27-46

    2. Gradual Typing for Annotated Type Systems

      • Peter Thiemann, Luminous Fennell
      Pages 47-66

    3. Staged Composition Synthesis

      • Boris Düdder, Moritz Martens, Jakob Rehof
      Pages 67-86

    4. Overlapping and Order-Independent Patterns

      • Jesper Cockx, Frank Piessens, Dominique Devriese
      Pages 87-106

  4. Verified Compilation

    1. Verified Compilation for Shared-Memory C

      • Lennart Beringer, Gordon Stewart, Robert Dockins, Andrew W. Appel
      Pages 107-127

    2. Verifying an Open Compiler Using Multi-language Semantics

      • James T. Perconti, Amal Ahmed
      Pages 128-148

  5. Program Verification I

    1. Impredicative Concurrent Abstract Predicates

      • Kasper Svendsen, Lars Birkedal
      Pages 149-168

    2. Local Reasoning for the POSIX File System

      • Philippa Gardner, Gian Ntzik, Adam Wright
      Pages 169-188

    3. A Coq Formalization of the Relational Data Model

      • Véronique Benzaken, Évelyne Contejean, Stefania Dumbrava
      Pages 189-208

  6. Semantics

    1. On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi

      • Raphaëlle Crubillé, Ugo Dal Lago
      Pages 209-228

    2. Grounding Synchronous Deterministic Concurrency in Sequential Programming

      • Joaquín Aguado, Michael Mendler, Reinhard von Hanxleden, Insa Fuhrmann
      Pages 229-248

    3. The Duality of Construction

      • Paul Downen, Zena M. Ariola
      Pages 249-269

    4. Deriving Pretty-Big-Step Semantics from Small-Step Semantics

      • Casper Bach Poulsen, Peter D. Mosses
      Pages 270-289

  7. Concurrency

    1. Communicating State Transition Systems for Fine-Grained Concurrent Resources

      • Aleksandar Nanevski, Ruy Ley-Wild, Ilya Sergey, Germán Andrés Delbianco
      Pages 290-310

    2. Checking Linearizability of Encapsulated Extended Operations

      • Oren Zomer, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv
      Pages 311-330

  8. Linear Types

    1. Bounded Linear Types in a Resource Semiring

      • Dan R. Ghica, Alex I. Smith
      Pages 331-350

    2. A Core Quantitative Coeffect Calculus

      • Aloïs Brunel, Marco Gaboardi, Damiano Mazza, Steve Zdancewic
      Pages 351-370
Back to top

Other volumes

  1. Programming Languages and Systems

Keywords

About this book

This book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The 27 papers presented in this volume were carefully reviewed and selected from 109 submissions. In addition, the book contains two invited talks. The contributions are organized in topical sections named: type systems; verified compilation; program verification; semantics; concurrency; linear types; network and process calculi; and program analysis.

Editors and Affiliations

  • Yale University, New Haven, USA

    Zhong Shao

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation