Skip to main content
  • Conference proceedings
  • © 2015

Programming Languages and Systems

24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Editors:

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 9032)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Conference series link(s): ESOP: European Symposium on Programming

Conference proceedings info: ESOP 2015.

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (33 papers)

  1. Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages

    • Arlen Cox, Bor-Yuh Evan Chang, Xavier Rival
    Pages 483-509
  2. Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions

    • Stefano Calzavara, Michele Bugliesi, Silvia Crafa, Enrico Steffinlongo
    Pages 510-534
  3. Analysis of Asynchronous Programs with Event-Based Synchronization

    • Michael Emmi, Pierre Ganty, Rupak Majumdar, Fernando Rosa-Velardo
    Pages 535-559
  4. A Semantics for Propositions as Sessions

    • Sam Lindley, J. Garrett Morris
    Pages 560-584
  5. Composite Replicated Data Types

    • Alexey Gotsman, Hongseok Yang
    Pages 585-609
  6. Spatial Interpolants

    • Aws Albargouthi, Josh Berdine, Byron Cook, Zachary Kincaid
    Pages 634-660
  7. Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs

    • Cristina David, Daniel Kroening, Matt Lewis
    Pages 661-684
  8. Full Reduction in the Face of Absurdity

    • Gabriel Scherer, Didier Rémy
    Pages 685-709
  9. CoLoSL: Concurrent Local Subjective Logic

    • Azalea Raad, Jules Villard, Philippa Gardner
    Pages 710-735
  10. A Separation Logic for Fictional Sequential Consistency

    • Filip Sieczkowski, Kasper Svendsen, Lars Birkedal, Jean Pichon-Pharabod
    Pages 736-761
  11. Binding Structures as an Abstract Data Type

    • Wilmer Ricciotti
    Pages 762-786
  12. Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages

    • Pedro Vasconcelos, Steffen Jost, Mário Florido, Kevin Hammond
    Pages 787-811
  13. Type Targeted Testing

    • Eric L. Seidel, Niki Vazou, Ranjit Jhala
    Pages 812-836
  14. Back Matter

    Pages 837-838

Other Volumes

  1. Programming Languages and Systems

About this book

This book constitutes the proceedings of the 24th European Symposium on Programming, ESOP 2015, which took place in London, UK, in April 2015, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.

The 33 papers presented in this volume were carefully reviewed and selected from 113 submissions.

Editors and Affiliations

  • Northeastern University, Boston, USA

    Jan Vitek

Bibliographic Information

Buy it now

Buying options

eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access