LEADER 05316nam 22008655 450 001 9910293140003321 005 20251225202102.0 010 $a9783319898841 010 $a3319898841 024 7 $a10.1007/978-3-319-89884-1 035 $a(CKB)4100000003359655 035 $a(DE-He213)978-3-319-89884-1 035 $a(MiAaPQ)EBC5578646 035 $a(Au-PeEL)EBL5578646 035 $a(OCoLC)1066191995 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/57149 035 $a(PPN)226696618 035 $a(MiAaPQ)EBC31734421 035 $a(Au-PeEL)EBL31734421 035 $a(OCoLC)1159387703 035 $a(ScCtBLL)2219bcb6-3caa-4583-b687-c15fa1e7257c 035 $a(OCoLC)1031400010 035 $a(Perlego)2338040 035 $a(oapen)doab57149 035 $a(oapen)doab36512 035 $a(EXLCZ)994100000003359655 100 $a20180414d2018 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aProgramming Languages and Systems $e27th 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 /$fedited by Amal Ahmed 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XVI, 1058 p. 276 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10801 311 08$a9783319898834 311 08$a3319898833 327 $aLanguage 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. 330 $aThis book is Open Access under a CC BY licence. . 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10801 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aComputer engineering 606 $aComputer networks 606 $aComputers 606 $aArtificial intelligence 606 $aCompilers and Interpreters 606 $aTheory of Computation 606 $aComputer Engineering and Networks 606 $aComputer Hardware 606 $aArtificial Intelligence 606 $aComputing Milieux 615 0$aCompilers (Computer programs). 615 0$aComputer science. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aComputers. 615 0$aArtificial intelligence. 615 14$aCompilers and Interpreters. 615 24$aTheory of Computation. 615 24$aComputer Engineering and Networks. 615 24$aComputer Hardware. 615 24$aArtificial Intelligence. 615 24$aComputing Milieux. 676 $a005.13 702 $aAhmed$b Amal$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910293140003321 996 $aProgramming Languages and Systems$93644366 997 $aUNINA