Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and ... The Netherlands, April 2-8, 2016, Proceedings - Softcover

Softcover

ISBN 10: 366249499X ISBN 13: 9783662494998

Publisher: Springer, 2016

Synopsis

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.

Edition details

• Publisher: Springer
• Publication date: 2016
• ISBN 10: 366249499X
• ISBN 13: 9783662494998
• Binding: Paperback
• Language: English
• Number of pages: 822
• Editor: Thiemann Peter