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 /: 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. (2016)

• Record Type: Book
• Other Titles: ESOP 2016
• Further Information: Note: Peter Thiemann (ed.).
• Editors: Dr, Thiemann, Peter
• Other Names: European Symposium on Programming, 25th; ETAPS (Conference), 19th
• 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.
• Publisher Details: Berlin : Springer
• Publication Date: 2016
• Extent: 1 online resource (xiii, 806 pages), illustrations
• Subjects: 005.1; Computer programming -- Congresses; Programming languages (Electronic computers) -- Congresses; Computer programming; Programming languages (Electronic computers); Electronic books; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783662494981; 3662494981
• Related ISBNs: 9783662494974; 3662494973
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource and print version record. SpringerLink (viewed April 4, 2016).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.