001431339 000__ 04169cam\a2200601Ii\4500
001431339 001__ 1431339
001431339 003__ OCoLC
001431339 005__ 20230308003231.0
001431339 006__ m\\\\\o\\d\\\\\\\\
001431339 007__ cr\un\nnnunnun
001431339 008__ 220405s2022\\\\sz\a\\\\o\\\\\101\0\eng\d
001431339 019__ $$a1308797232$$a1309044265
001431339 020__ $$a9783030993368$$q(electronic bk.)
001431339 020__ $$a3030993361$$q(electronic bk.)
001431339 020__ $$z9783030993351$$q(print)
001431339 020__ $$z3030993353
001431339 0247_ $$a10.1007/978-3-030-99336-8$$2doi
001431339 035__ $$aSP(OCoLC)1308974291
001431339 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCO$$dYDX$$dEBLCP$$dOCLCF$$dOCLCQ
001431339 049__ $$aISEA
001431339 050_4 $$aQA76.6
001431339 08204 $$a005.1$$223
001431339 1112_ $$aEuropean Symposium on Programming$$n(31st :$$d2022 :$$cMunich, Germany)
001431339 24510 $$aProgramming languages and systems :$$b31st 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 /$$cIlya Sergey (eds.).
001431339 2463_ $$aESOP 2022
001431339 264_1 $$aCham, Switzerland :$$bSpringer,$$c2022.
001431339 300__ $$a1 online resource (xiv, 604 pages) :$$billustrations.
001431339 336__ $$atext$$btxt$$2rdacontent
001431339 337__ $$acomputer$$bc$$2rdamedia
001431339 338__ $$aonline resource$$bcr$$2rdacarrier
001431339 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13240
001431339 4901_ $$aAdvanced research in computing and software science
001431339 500__ $$aIncludes author index.
001431339 5050_ $$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.
001431339 5060_ $$aOpen access.$$5GW5XE
001431339 520__ $$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.
001431339 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed April 5, 2022).
001431339 650_0 $$aComputer programming$$vCongresses.
001431339 650_0 $$aProgramming languages (Electronic computers)$$vCongresses.
001431339 650_6 $$aProgrammation (Informatique)$$vCongrès.
001431339 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001431339 655_0 $$aElectronic books.
001431339 7001_ $$aSergey, Ilya,$$eeditor.$$0(orcid)0000-0003-4250-5392$$1https://orcid.org/0000-0003-4250-5392
001431339 7112_ $$aETAPS (Conference)$$n(25th :$$d2022 :$$cMunich, Germany)
001431339 77608 $$iPrint version: $$z3030993353$$z9783030993351$$w(OCoLC)1302578129
001431339 830_0 $$aLecture notes in computer science ;$$v13240.$$x1611-3349
001431339 830_0 $$aLecture notes in computer science.$$pAdvanced research in computing and software science.
001431339 852__ $$bebk
001431339 85640 $$3Springer Nature$$uhttps://link.springer.com/10.1007/978-3-030-99336-8$$zOnline Access$$91397441.2
001431339 909CO $$ooai:library.usi.edu:1431339$$pGLOBAL_SET
001431339 980__ $$aBIB
001431339 980__ $$aEBOOK
001431339 982__ $$aEbook
001431339 983__ $$aOnline
001431339 994__ $$a92$$bISE