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. No Access

      Book Chapter

      Pages 1-20

      Distributed Electronic Rights in JavaScript

  3. Session I: Programming Techniques

    1. No Access

      Book Chapter

      Pages 21-40

      The Compiler Forest

    2. No Access

      Book Chapter

      Pages 41-60

      Pretty-Big-Step Semantics

    3. No Access

      Book Chapter

      Pages 61-80

      Language Constructs for Non-Well-Founded Computation

  4. Session II: Programming Tools

    1. No Access

      Book Chapter

      Pages 81-100

      Laziness by Need

    2. No Access

      Book Chapter

      Pages 101-120

      FliPpr: A Prettier Invertible Printing System

    3. No Access

      Book Chapter

      Pages 121-124

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

    4. No Access

      Book Chapter

      Pages 125-128

      Why3 — Where Programs Meet Provers

  5. Session III: Separation Logic

    1. No Access

      Book Chapter

      Pages 129-148

      Compositional Invariant Checking for Overlaid and Nested Linked Lists

    2. No Access

      Book Chapter

      Pages 149-168

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

    3. No Access

      Book Chapter

      Pages 169-188

      Modular Reasoning about Separation of Concurrent Data Structures

    4. No Access

      Book Chapter

      Pages 189-208

      Ribbon Proofs for Separation Logic

  6. Session IV: Gradual Typing

    1. No Access

      Book Chapter

      Pages 209-228

      Abstract Refinement Types

    2. No Access

      Book Chapter

      Pages 229-248

      Constraining Delimited Control with Contracts

  7. Session V: Shared-Memory Concurrency and Verification

    1. No Access

      Book Chapter

      Pages 249-269

      Verifying Concurrent Memory Reclamation Algorithms with Grace

    2. No Access

      Book Chapter

      Pages 270-289

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

    3. No Access

      Book Chapter

      Pages 290-309

      Verifying Concurrent Programs against Sequential Specifications

  8. Session VI: Process Calculi

    1. No Access

      Book Chapter

      Pages 310-329

      On Distributability in Process Calculi

    2. No Access

      Book Chapter

      Pages 330-349

      Behavioral Polymorphism and Parametricity in Session-Based Communication

    3. No Access

      Book Chapter

      Pages 350-369

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

previous Page of 2