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

      Pages 1-7

      Composable Transactional Objects: A Position Paper

    2. Chapter

      Pages 8-26

      Application-Scale Secure Multiparty Computation

  3. Type Systems

    1. Chapter

      Pages 27-46

      An Array-Oriented Language with Static Rank Polymorphism

    2. Chapter

      Pages 47-66

      Gradual Typing for Annotated Type Systems

    3. Chapter

      Pages 67-86

      Staged Composition Synthesis

    4. Chapter

      Pages 87-106

      Overlapping and Order-Independent Patterns

  4. Verified Compilation

    1. Chapter

      Pages 107-127

      Verified Compilation for Shared-Memory C

    2. Chapter

      Pages 128-148

      Verifying an Open Compiler Using Multi-language Semantics

  5. Program Verification I

    1. Chapter

      Pages 149-168

      Impredicative Concurrent Abstract Predicates

    2. Chapter

      Pages 169-188

      Local Reasoning for the POSIX File System

    3. Chapter

      Pages 189-208

      A Coq Formalization of the Relational Data Model

  6. Semantics

    1. Chapter

      Pages 209-228

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

    2. Chapter

      Pages 229-248

      Grounding Synchronous Deterministic Concurrency in Sequential Programming

    3. Chapter

      Pages 249-269

      The Duality of Construction

    4. Chapter

      Pages 270-289

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

  7. Concurrency

    1. Chapter

      Pages 290-310

      Communicating State Transition Systems for Fine-Grained Concurrent Resources

    2. Chapter

      Pages 311-330

      Checking Linearizability of Encapsulated Extended Operations

  8. Linear Types

    1. Chapter

      Pages 331-350

      Bounded Linear Types in a Resource Semiring

    2. Chapter

      Pages 351-370

      A Core Quantitative Coeffect Calculus

    3. Chapter

      Pages 371-391

      Measurements in Proof Nets as Higher-Order Quantum Circuits

previous Page of 2