Skip to main content
SpringerLink
Log in
Book cover

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

  • Conference proceedings
  • © 2015

Overview

Editors:
  1. Jan Vitek

    1. Northeastern University, Boston, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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)

Included in the following conference series:

Conference proceedings info: ESOP 2015.

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

Access this book

Log in via an institution
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

Licence this eBook for your library

Institutional subscriptions

Table of contents (33 papers)

  1. Front Matter

    Pages 1-12
    Download chapter PDF

  2. Probabilistic Programs as Spreadsheet Queries

    • Andrew D. Gordon, Claudio Russo, Marcin Szymczak, Johannes Borgström, Nicolas Rolland, Thore Graepel et al.
    Pages 1-25

  3. Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection

    • Tie Cheng, Xavier Rival
    Pages 26-52

  4. Running Probabilistic Programs Backwards

    • Neil Toronto, Jay McCarthy, David Van Horn
    Pages 53-79

  5. A Verified Compiler for Probability Density Functions

    • Manuel Eberl, Johannes Hölzl, Tobias Nipkow
    Pages 80-104

  6. Segment Abstraction for Worst-Case Execution Time Analysis

    • Pavol ÄŒerný, Thomas A. Henzinger, Laura Kovács, Arjun Radhakrishna, Jakob Zwirchmayr
    Pages 105-131

  7. Automatic Static Cost Analysis for Parallel Programs

    • Jan Hoffmann, Zhong Shao
    Pages 132-157

  8. Sound, Modular and Compositional Verification of the Input/Output Behavior of Programs

    • Willem Penninckx, Bart Jacobs, Frank Piessens
    Pages 158-182

  9. Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs

    • Cristina David, Daniel Kroening, Matt Lewis
    Pages 183-204

  10. A Theory of Name Resolution

    • Pierre Neron, Andrew Tolmach, Eelco Visser, Guido Wachsmuth
    Pages 205-231

  11. A Core Calculus for XQuery 3.0

    • Giuseppe Castagna, Hyeonseung Im, Kim Nguyá»…n, Véronique Benzaken
    Pages 232-256

  12. IsoLATE: A Type System for Self-recursion

    • Ravi Chugh
    Pages 257-282

  13. The Problem of Programming Language Concurrency Semantics

    • Mark Batty, Kayvan Memarian, Kyndylan Nienhuis, Jean Pichon-Pharabod, Peter Sewell
    Pages 283-307

  14. The Best of Both Worlds: Trading Efficiency and Optimality in Fence Insertion for TSO

    • Parosh Aziz Abdulla, Mohamed Faouzi Atig, Tuan-Phong Ngo
    Pages 308-332

  15. Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity

    • Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee
    Pages 333-358

  16. Witnessing (Co)datatypes

    • Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel
    Pages 359-382

  17. Making Random Judgments: Automatically Generating Well-Typed Terms from the Definition of a Type-System

    • Burke Fetscher, Koen Claessen, MichaÅ‚ PaÅ‚ka, John Hughes, Robert Bruce Findler
    Pages 383-405

  18. Refinement Types for Incremental Computational Complexity

    • Ezgi Çiçek, Deepak Garg, Umut Acar
    Pages 406-431

  19. Monotonic References for Efficient Gradual Typing

    • Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, Sam Tobin-Hochstadt, Ronald Garcia
    Pages 432-456

  20. Inter-procedural Two-Variable Herbrand Equalities

    • Stefan Schulze Frielinghaus, Michael Petter, Helmut Seidl
    Pages 457-482
Back to top

Other volumes

  1. Programming Languages and Systems

Keywords

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

Publish with us

Policies and ethics

Back to top

Search

Navigation