Programming Languages and Systems (eBook, PDF)

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
Redaktion: Thiemann, Peter

• Format: PDF

Produktbeschreibung

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 806
• Erscheinungstermin: 21. März 2016
• Englisch
• ISBN-13: 9783662494981
• Artikelnr.: 44902733

Inhaltsangabe

Simulating Cities: A Software Engineering Perspective.-Regular Programming for Quantitative Properties of Data Streams.- FormalizingSingle-assignment Program Verification: an Adaptationcomplete Approach.- PracticalOptional Types for Clojure.- A Timed Process Algebra for Wireless Networks withan Application in Routing.- Computing with semirings and weak rig groupoids.- OnHierarchical Communication Topologies in the pi-calculus.- Modular TerminationVerification for Non-blocking Concurrency.- Call-by-Push-Value from a LinearLogic point of view.- Visible Type Application.- Automatically Splitting aTwo-Stage Lambda Calculus.- Probabilistic NetKAT.-Coordinated ConcurrentProgramming in Syndicate.- An application of computable distributions to thesemantics of probabilistic programming languages.- Weakest PreconditionReasoning for Expected Run-Times of Probabilistic Programs.- ImprovingFloating-Point Numbers: a Lazy Approach to Adaptive Accuracy Refinement forNumerical Computations.- Needle & Knot: Binder boilerplate tied up.- On theRelative Expressiveness of Higher-Order Session Processes.- A RealizabilityModel for a Semantical Value Restriction.- Probabilistic functions andcryptographic oracles in higher order logic.- Extensible and EfficientAutomation through Reflective Tactics.- An Algorithm Inspired by ConstraintSolvers to Infer Inductive Invariants in Numeric Programs.- Functional Big-stepSemantics.- Classical by-need.- Macrofication: Refactoring by Reverse MacroExpansion.- Type Error Diagnosis for Embedded DSLs by Two-Stage Specialized TypeRules.- Actor Services: Modular Verification of Message Passing Programs.- TransfiniteStep-indexing: Decoupling Concrete and Logical Steps.- A Higher-Order AbstractSyntax Approach to Verified Transformations on Functional Programs.- TheExpressive Power of Monotonic Parallel Composition.