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

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. Front Matter....Pages I-XIII Simulating Cities: A Software Engineering Perspective....Pages 1-14 Regular Programming for Quantitative Properties of Data Streams....Pages 15-40 Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach....Pages 41-67 Practical Optional Types for Clojure....Pages 68-94 A Timed Process Algebra for Wireless Networks with an Application in Routing....Pages 95-122 Computing with Semirings and Weak Rig Groupoids....Pages 123-148 Modular Termination Verification for Non-blocking Concurrency....Pages 149-175 Call-By-Push-Value from a Linear Logic Point of View....Pages 176-201 Visible Type Application....Pages 202-228 Automatically Splitting a Two-Stage Lambda Calculus....Pages 229-254 Probabilistic NetKAT....Pages 255-281 An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages....Pages 282-309 Weakest Precondition Reasoning for Expected Run–Times of Probabilistic Programs....Pages 310-336 Improving Floating-Point Numbers: A Lazy Approach to Adaptive Accuracy Refinement for Numerical Computations....Pages 337-363 Needle & Knot: Binder Boilerplate Tied Up....Pages 364-389 On the Relative Expressiveness of Higher-Order Session Processes....Pages 390-418 A Classical Realizability Model for a Semantical Value Restriction....Pages 419-445 Probabilistic Functions and Cryptographic Oracles in Higher Order Logic....Pages 446-475 Extensible and Efficient Automation Through Reflective Tactics....Pages 476-502 An Algorithm Inspired by Constraint Solvers to Infer Inductive Invariants in Numeric Programs....Pages 503-531 Functional Big-Step Semantics....Pages 532-559 Classical By-Need....Pages 560-588 Macrofication: Refactoring by Reverse Macro Expansion....Pages 589-615 Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules....Pages 616-643 Actor Services....Pages 644-671 Transfinite Step-Indexing: Decoupling Concrete and Logical Steps....Pages 672-698 A Higher-Order Abstract Syntax Approach to Verified Transformations on Functional Programs....Pages 699-726 The Expressive Power of Monotonic Parallel Composition....Pages 727-751 Back Matter....Pages 752-779 ....Pages 780-803