Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

Programming Languages and Systems: 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings

by Hongseok Yang (Editor)

Paperback(1st ed. 2017)

$149.99
Use Standard Shipping. For guaranteed delivery by December 24, use Express or Expedited Shipping.

Product Details

ISBN-13: 9783662544334
Publisher: Springer Berlin Heidelberg
Publication date: 06/03/2017
Series: Lecture Notes in Computer Science , #10201
Edition description: 1st ed. 2017
Pages: 992
Product dimensions: 6.10(w) x 9.25(h) x (d)

Table of Contents

Disjoint Polymorphism.- Generalizing inference systems by coaxioms.- Observed Communication Semantics for Classical Processes.- Is your software on dope? – Formal analysis of surreptitiously "enhanced" programs.- Friends with Benefits: Implementing Corecursion in Foundational Proof Assistants.- Confluence of Graph Rewriting with Interfaces.- Verifying Robustness of Event-Driven Asynchronous Programs against Concurrency.- Incremental update for graph rewriting.- Linearity, Control Effects, and Behavioral Types.- Temporary Read-Only Permissions for Separation Logic.- Faster Algorithms for Weighted Recursive State Machines.- ML and Extended BVASS. – Metric Reasoning about Lambda Terms: the General Case.- Contextual Equivalence for Probabilistic Programs with Continuous Random Variables and Scoring.- Probabilistic Termination by Monadic Affine Sized Typing.- Caper: Automatic Verification for Fine-grained Concurrency.- Tackling Real-Life Relaxed Concurrency with FSL++. - Extensible Datasort Refinements.- Programs Using Syntax with First-Class Binders. - Lincx: A Linear Logical Framework with First-class Context.- APLicative Programming with Naperian Functors.- Verified Characteristic Formulae for CakeML.- Unified Reasoning about Robustness Properties of Symbolic-Heap Separation Logic.- Proving Linearizability Using Partial Orders.- The Power of Non-Determinism in Higher-Order Implicit Complexity.- The Essence of Higher-Order Concurrent Separation Logic.- Comprehending Isabelle/HOL’s Consistency.-The essence of functional programming on semantic data.- A Classical Sequent Calculus with Dependent Types.- Context-Free Session Type Inference.- Modular Verification of Higher-order Functional Programs.- Commutative semantics for probabilistic programming.- Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization.- A Higher-Order Logic for Concurrent Termination-Preserving Refinement.- Modular Verification of Procedure Equivalence in the Presence of Memory Allocation.- Abstract Specifications for Concurrent Maps.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews