Programming Languages and Systems : 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Peter Thiemann.

Format:

Book

Contributor:

Thiemann, Pětr, Editor.

SpringerLink (Online service)

Series:

Computer Science (SpringerNature-11645)

LNCS sublibrary. Theoretical computer science and general issues 2512-2029 ; SL 1, 9632

Theoretical Computer Science and General Issues, 2512-2029 ; 9632

Language:

English

Subjects (All):

Compilers (Computer programs).

Computer science.

Software engineering.

Computer programming.

Compilers and Interpreters.

Computer Science Logic and Foundations of Programming.

Software Engineering.

Theory of Computation.

Programming Techniques.

Local Subjects:

Compilers and Interpreters.

Computer Science Logic and Foundations of Programming.

Software Engineering.

Theory of Computation.

Programming Techniques.

Physical Description:

1 online resource (XIII, 806 pages) : 32 illustrations

Edition:

1st ed. 2016.

Contained In:

Springer Nature eBook

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016.

System Details:

text file PDF

Summary:

This book constitutes the proceedings of the 25th European Symposium on Programming, ESOP 2016, which took place in Eindhoven, The Netherlands, in April 2016, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. The 29 papers presented in this volume were carefully reviewed and selected from 98 submissions. Being devoted to fundamental issues in the specification, design, analysis, and implementation of programming languages and systems, ESOP features contributions on all aspects of programming language research; theoretical and/or practical advances. .

Contents:

Simulating Cities: A Software Engineering Perspective

Regular Programming for Quantitative Properties of Data Streams

Formalizing Single-assignment Program Verification: an Adaptationcomplete Approach

Practical Optional Types for Clojure

A Timed Process Algebra for Wireless Networks with an Application in Routing

Computing with semirings and weak rig groupoids

On Hierarchical Communication Topologies in the pi-calculus

Modular Termination Verification for Non-blocking Concurrency

Call-by-Push-Value from a Linear Logic point of view

Visible Type Application

Automatically Splitting a Two-Stage Lambda Calculus

Probabilistic NetKAT.-Coordinated Concurrent Programming in Syndicate

An application of computable distributions to the semantics of probabilistic programming languages

Weakest Precondition Reasoning for Expected Run-Times of Probabilistic Programs

Improving Floating-Point Numbers: a Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations

Needle and Knot: Binder boilerplate tied up

On the Relative Expressiveness of Higher-Order Session Processes

A Realizability Model for a Semantical Value Restriction

Probabilistic functions and cryptographic oracles in higher order logic

Extensible and Efficient Automation through Reflective Tactics

An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs

Functional Big-step Semantics

Classical by-need

Macrofication: Refactoring by Reverse Macro Expansion

Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules

Actor Services: Modular Verification of Message Passing Programs

Transfinite Step-indexing: Decoupling Concrete and Logical Steps

A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs

The Expressive Power of Monotonic Parallel Composition.

Other Format:

Printed edition:

ISBN:

978-3-662-49498-1

9783662494981

Access Restriction:

Restricted for use by site license.