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 / edited by Jan Vitek.

Format:

Book

Contributor:

Vitek, Jan (Computer scientist), editor.

SpringerLink (Online service)

Series:

Computer Science (Springer-11645)

LNCS sublibrary. Theoretical computer science and general issues ; SL 1, 9032.

Theoretical Computer Science and General Issues ; 9032

Language:

English

Subjects (All):

Artificial intelligence.

Information storage and retrieval.

Data mining.

Application software.

Database management.

Algorithms.

Artificial Intelligence.

Information Storage and Retrieval.

Data Mining and Knowledge Discovery.

Information Systems Applications (incl. Internet).

Database Management.

Algorithm Analysis and Problem Complexity.

Local Subjects:

Artificial Intelligence.

Information Storage and Retrieval.

Data Mining and Knowledge Discovery.

Information Systems Applications (incl. Internet).

Database Management.

Algorithm Analysis and Problem Complexity.

Physical Description:

1 online resource (XIV, 838 pages) : 274 illustrations.

Edition:

First edition 2015.

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.

System Details:

text file PDF

Summary:

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.

Contents:

Probabilistic Programs as Spreadsheet Queries

Static Analysis of Spreadsheet Applications for Type-Unsafe Operations Detection

Running Probabilistic Programs Backwards

A Verified Compiler for Probability Density Functions

Segment Abstraction for Worst-Case Execution Time Analysis

Automatic Static Cost Analysis for Parallel Programs

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

Unrestricted Termination and Non-termination Arguments for Bit-Vector Programs. A Theory of Name Resolution

A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches

IsoLate: A Type System for Self-recursion

The Problem of PL Concurrency Semantics

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

Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity

Witnessing (Co)datatypes

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

Refinement Types for Incremental Computational Complexity

Monotonic References for Efficient Gradual Typing

Inter-procedural Two-Variable Herbrand Equalities

Desynchronized Multi-State Abstractions for Open Programs in Dynamic Languages

Fine-Grained Detection of Privilege Escalation Attacks on Browser Extensions

Analysis of Asynchronous Programs with Event-Based Synchronization

A Semantics for Propositions as Sessions

Composite Replicated Data Types

Relaxed Stratification: A New Approach to Practical Complete Predicate Refinement

Spatial Interpolants

Propositional Reasoning about Safety and Termination of Heap-Manipulating Programs

Full Reduction in the Face of Absurdity

CoLoSL: Concurrent Local Subjective Logic

A Separation Logic for Fictional Sequential Consistency

Binding Structures as an Abstract Data Type

Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages

Type Targeted Testing.

Other Format:

Printed edition:

ISBN:

978-3-662-46669-8

9783662466698

Access Restriction:

Restricted for use by site license.