Book Volume 7792 2013

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

Editors:

ISBN: 978-3-642-37035-9 (Print) 978-3-642-37036-6 (Online)

Table of contents (32 chapters)

previous Page of 2
  1. Front Matter

    Pages -

  2. Invited Talk

    1. Chapter

      Pages 1-20

      Distributed Electronic Rights in JavaScript

  3. Session I: Programming Techniques

    1. Chapter

      Pages 21-40

      The Compiler Forest

    2. Chapter

      Pages 41-60

      Pretty-Big-Step Semantics

    3. Chapter

      Pages 61-80

      Language Constructs for Non-Well-Founded Computation

  4. Session II: Programming Tools

    1. Chapter

      Pages 81-100

      Laziness by Need

    2. Chapter

      Pages 101-120

      FliPpr: A Prettier Invertible Printing System

    3. Chapter

      Pages 121-124

      Slicing-Based Trace Analysis of Rewriting Logic Specifications with i Julienne

    4. Chapter

      Pages 125-128

      Why3 — Where Programs Meet Provers

  5. Session III: Separation Logic

    1. Chapter

      Pages 129-148

      Compositional Invariant Checking for Overlaid and Nested Linked Lists

    2. Chapter

      Pages 149-168

      A Discipline for Program Verification Based on Backpointers and Its Use in Observational Disjointness

    3. Chapter

      Pages 169-188

      Modular Reasoning about Separation of Concurrent Data Structures

    4. Chapter

      Pages 189-208

      Ribbon Proofs for Separation Logic

  6. Session IV: Gradual Typing

    1. Chapter

      Pages 209-228

      Abstract Refinement Types

    2. Chapter

      Pages 229-248

      Constraining Delimited Control with Contracts

  7. Session V: Shared-Memory Concurrency and Verification

    1. Chapter

      Pages 249-269

      Verifying Concurrent Memory Reclamation Algorithms with Grace

    2. Chapter

      Pages 270-289

      Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels

    3. Chapter

      Pages 290-309

      Verifying Concurrent Programs against Sequential Specifications

  8. Session VI: Process Calculi

    1. Chapter

      Pages 310-329

      On Distributability in Process Calculi

    2. Chapter

      Pages 330-349

      Behavioral Polymorphism and Parametricity in Session-Based Communication

    3. Chapter

      Pages 350-369

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

previous Page of 2