LEADER 04361nam  22007935  450 
001 9910555236003321
005 20251225212351.0
010   $a9783030993368
010   $a3030993361
024 7 $a10.1007/978-3-030-99336-8
035   $a(CKB)5860000000038034
035   $aEBL6941372
035   $a(AU-PeEL)EBL6941372
035   $a(MiAaPQ)EBC6941372
035   $a(oapen)https://directory.doabooks.org/handle/20.500.12854/81585
035   $a(PPN)261518240
035   $a(Au-PeEL)EBL6941372
035   $a(OCoLC)1308974291
035   $a(oapen)doab81585
035   $a(DE-He213)978-3-030-99336-8
035   $a(EXLCZ)995860000000038034
100   $a20220328d2022      u|         0
101 0 $aeng
135   $aur|n|---|||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aProgramming Languages and Systems $e31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2?7, 2022, Proceedings /$fedited by Ilya Sergey
205   $a1st ed. 2022.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2022.
215   $a1 online resource (xiv, 604 pages) $cillustrations
225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13240
300   $aDescription based upon print version of record.
300   $aIncludes author index.
311 1 $a9783030993351 
311 1 $a3030993353 
327   $aCategorical Foundation of Gradient-Based Learning -- Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference -- Foundations for Entailment Checking in Quantitative Separation Logic -- Extracting total Amb programs from proofs -- Why3-do: The Way of Harmonious Distributed System Proofs -- Relaxed virtual memory in Armv8-A -- Verified Security for the Morello Capability-enhanced Prototype Arm Architecture -- The Trusted Computing Base of the CompCert Verified Compiler -- View-Based Owicki-Gries Reasoning for Persistent x86-TSO -- Abstraction for Crash-Resilient Objects -- Static Race Detection for Periodic Programs -- Probabilistic Total Store Ordering -- Linearity and Uniqueness: An Entente Cordiale -- A Framework for Substructural Type Systems -- A Dependent Dependency Calculus -- Polarized Subtyping -- Structured Handling of Scoped Effects -- Region-based Resource Management and Lexical Exception Handlers in Continuation-Passing Style -- A Predicate Transformer for Choreographies -- Comparing the expressiveness of the -calculus and CCS -- Concurrent NetKAT.
330   $aThis open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
410  0$aLecture Notes in Computer Science,$x1611-3349 ;$v13240
606   $aCompilers (Computer programs)
606   $aComputer science
606   $aMicroprogramming
606   $aComputer networks
606   $aComputer programming
606   $aCompilers and Interpreters
606   $aTheory of Computation
606   $aControl Structures and Microprogramming
606   $aComputer Communication Networks
606   $aProgramming Techniques
615  0$aCompilers (Computer programs).
615  0$aComputer science.
615  0$aMicroprogramming.
615  0$aComputer networks.
615  0$aComputer programming.
615 14$aCompilers and Interpreters.
615 24$aTheory of Computation.
615 24$aControl Structures and Microprogramming.
615 24$aComputer Communication Networks.
615 24$aProgramming Techniques.
676   $a005.45
700   $aSergey$b Ilya$4edt$01239210
701   $aSergey$b Ilya$01239210
801  0$bAU-PeEL
801  1$bAU-PeEL
801  2$bAU-PeEL
906   $aBOOK
912   $a9910555236003321
996   $aProgramming Languages and Systems$92875451
997   $aUNINA