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

      Book Chapter

      Pages 1-7

      Composable Transactional Objects: A Position Paper

    2. No Access

      Book Chapter

      Pages 8-26

      Application-Scale Secure Multiparty Computation

  3. Type Systems

    1. No Access

      Book Chapter

      Pages 27-46

      An Array-Oriented Language with Static Rank Polymorphism

    2. No Access

      Book Chapter

      Pages 47-66

      Gradual Typing for Annotated Type Systems

    3. No Access

      Book Chapter

      Pages 67-86

      Staged Composition Synthesis

    4. No Access

      Book Chapter

      Pages 87-106

      Overlapping and Order-Independent Patterns

  4. Verified Compilation

    1. No Access

      Book Chapter

      Pages 107-127

      Verified Compilation for Shared-Memory C

    2. No Access

      Book Chapter

      Pages 128-148

      Verifying an Open Compiler Using Multi-language Semantics

  5. Program Verification I

    1. No Access

      Book Chapter

      Pages 149-168

      Impredicative Concurrent Abstract Predicates

    2. No Access

      Book Chapter

      Pages 169-188

      Local Reasoning for the POSIX File System

    3. No Access

      Book Chapter

      Pages 189-208

      A Coq Formalization of the Relational Data Model

  6. Semantics

    1. No Access

      Book Chapter

      Pages 209-228

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

    2. No Access

      Book Chapter

      Pages 229-248

      Grounding Synchronous Deterministic Concurrency in Sequential Programming

    3. No Access

      Book Chapter

      Pages 249-269

      The Duality of Construction

    4. No Access

      Book Chapter

      Pages 270-289

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

  7. Concurrency

    1. No Access

      Book Chapter

      Pages 290-310

      Communicating State Transition Systems for Fine-Grained Concurrent Resources

    2. No Access

      Book Chapter

      Pages 311-330

      Checking Linearizability of Encapsulated Extended Operations

  8. Linear Types

    1. No Access

      Book Chapter

      Pages 331-350

      Bounded Linear Types in a Resource Semiring

    2. No Access

      Book Chapter

      Pages 351-370

      A Core Quantitative Coeffect Calculus

    3. No Access

      Book Chapter

      Pages 371-391

      Measurements in Proof Nets as Higher-Order Quantum Circuits

previous Page of 2