Items related to Programming Languages and Systems: 27th European Symposium...
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and ... (Lecture Notes in Computer Science, 10801) - Softcover
Synopsis
This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.
The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections named: language design; probabilistic programming; types and effects; concurrency; security; program verification; program analysis and automated verification; session types and concurrency; concurrency and distribution; and compiler verification.
"synopsis" may belong to another edition of this title.
From the Back Cover
This book is Open Access under a CC BY licence.
"About this title" may belong to another edition of this title.
Search results for Programming Languages and Systems: 27th European Symposium...
Stock Image
Programming Languages and Systems (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 5 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # 31233803b26cf6abc1795a4b6472b6fd
Buy New
US$ 54.98
US$ 12.70 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Stock Image
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and ... (Lecture Notes in Computer Science, 10801)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783319898834_new
Buy New
US$ 70.64
US$ 15.24 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and . (Lecture Notes in Computer Science)
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New. Seller Inventory # 6666-IUK-9783319898834
Buy New
US$ 67.01
US$ 20.91 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Programming Languages and Systems
Published by
Springer International Publishing Apr 2018, 2018
ISBN 10: 3319898833
ISBN 13: 9783319898834
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 36 papers presented in this volume were carefully reviewed and selected from 114 submissions. The papers are organized in topical sections named: language design; probabilistic programming; types and effects; concurrency; security; program verification; program analysis and automated verification; session types and concurrency; concurrency and distribution; and compiler verification. 1076 pp. Englisch. Seller Inventory # 9783319898834
Buy New
US$ 63.62
US$ 26.56 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 2 available
Stock Image
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and . 10801 (Lecture Notes in Computer Science)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 369571347
Buy New
US$ 100.93
US$ 8.78 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available
Stock Image
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and . 10801 (Lecture Notes in Computer Science)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. 1st ed. 2018 edition NO-PA16APR2015-KAP. Seller Inventory # 26376474060
Seller Image
Programming Languages and Systems
Published by
Springer International Publishing, 2018
ISBN 10: 3319898833
ISBN 13: 9783319898834
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This open access book constitutes the proceedings of the 27th European Symposium on Programming, ESOP 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Softwa. Seller Inventory # 220289728
Buy New
US$ 57.53
US$ 56.58 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: Over 20 available
Stock Image
Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and . 10801 (Lecture Notes in Computer Science)
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 4 out of 5 stars
Condition: New. PRINT ON DEMAND. Seller Inventory # 18376474054
Buy New
US$ 109.96
US$ 11.49 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 4 available
Seller Image
Programming Languages and Systems
Published by
Springer, Springer Apr 2018, 2018
ISBN 10: 3319898833
ISBN 13: 9783319898834
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Language Design.- Consistent Subtyping for All.- HOBiT: Programming Lenses without using Lens Combinators.- Dualizing Generalized Algebraic Data Types by Matrix Transposition.- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach.- Probabilistic Programming.- An Assertion-Based Program Logic for Probabilistic Programs.- Fine-grained Semantics for Probabilistic Programs.- How long, O Bayesian network, will I sample thee .- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus.- Types and Effects.- Failure is Not an Option: An Exceptional Type Theory.- Let Arguments Go First.- Behavioural equivalence via modalities for algebraic effects.- Explicit Effect Subtyping.- Concurrency.- A separation logic for a promising semantics.- Logical Reasoning for Disjoint Permissions.- Deadlock-Free Monitors.- Fragment Abstraction for Concurrent Shape Analysis.- Security.- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and ReturnPointer Management.- Modular Product Programs.- Program Verification.- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification.- Verified Learning Without Regret.- Program Verification by Coinduction.- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq.- Program Analysis and Automated Verification.- Evaluating Design Tradeoffs in Numeric Static Analysis for Java.- An Abstract Interpretation Framework for Input Data Usage.- Higher-Order Program Verification via HFL Model Checking.- Quantitative Analysis of Smart Contracts.- Session Types and Concurrency.- Session-Typed Concurrent Contracts.- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems.- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings.- Concurrent Kleene Algebra: Free Model and Completeness.- Concurrency and Distribution.- Correctness of a Concurrent Object Collector for Actor Languages.- Paxos Consensus, Deconstructed and Abstracted.- On Parallel Snapshot Isolation and Release/Acquire Consistency.- Eventual Consistency for CRDTs.- Compiler Verification.- A Verified Compiler from Isabelle/HOL to CakeML.- Compositional Verification of Compiler Optimisations on Relaxed Memory.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 1076 pp. Englisch. Seller Inventory # 9783319898834
Buy New
US$ 63.62
US$ 69.29 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
Programming Languages and Systems | 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings
Seller: preigu, Osnabrück, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Programming Languages and Systems | 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings | Amal Ahmed | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2018 | Springer | EAN 9783319898834 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Seller Inventory # 112526405
Buy New
US$ 60.00
US$ 80.84 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 5 available