Full Description
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 & 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.
