Book Volume 8410 2014

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

Editors:

ISBN: 978-3-642-54832-1 (Print) 978-3-642-54833-8 (Online)

Table of contents (29 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Invited Talks

    1. No Access

      Chapter

      Pages 1-7

      Composable Transactional Objects: A Position Paper

    2. No Access

      Chapter

      Pages 8-26

      Application-Scale Secure Multiparty Computation

  3. Type Systems

    1. No Access

      Chapter

      Pages 27-46

      An Array-Oriented Language with Static Rank Polymorphism

    2. No Access

      Chapter

      Pages 47-66

      Gradual Typing for Annotated Type Systems

    3. No Access

      Chapter

      Pages 67-86

      Staged Composition Synthesis

    4. No Access

      Chapter

      Pages 87-106

      Overlapping and Order-Independent Patterns

  4. Verified Compilation

    1. No Access

      Chapter

      Pages 107-127

      Verified Compilation for Shared-Memory C

    2. No Access

      Chapter

      Pages 128-148

      Verifying an Open Compiler Using Multi-language Semantics

  5. Program Verification I

    1. No Access

      Chapter

      Pages 149-168

      Impredicative Concurrent Abstract Predicates

    2. No Access

      Chapter

      Pages 169-188

      Local Reasoning for the POSIX File System

    3. No Access

      Chapter

      Pages 189-208

      A Coq Formalization of the Relational Data Model

  6. Semantics

    1. No Access

      Chapter

      Pages 209-228

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

    2. No Access

      Chapter

      Pages 229-248

      Grounding Synchronous Deterministic Concurrency in Sequential Programming

    3. No Access

      Chapter

      Pages 249-269

      The Duality of Construction

    4. No Access

      Chapter

      Pages 270-289

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

  7. Concurrency

    1. No Access

      Chapter

      Pages 290-310

      Communicating State Transition Systems for Fine-Grained Concurrent Resources

    2. No Access

      Chapter

      Pages 311-330

      Checking Linearizability of Encapsulated Extended Operations

  8. Linear Types

    1. No Access

      Chapter

      Pages 331-350

      Bounded Linear Types in a Resource Semiring

    2. No Access

      Chapter

      Pages 351-370

      A Core Quantitative Coeffect Calculus

    3. No Access

      Chapter

      Pages 371-391

      Measurements in Proof Nets as Higher-Order Quantum Circuits

previous Page of 2