LEADER 03425nam 22004935 450 001 996525669503316 005 20230418002327.0 010 $a3-031-30044-0 024 7 $a10.1007/978-3-031-30044-8 035 $a(CKB)5700000000357261 035 $a(DE-He213)978-3-031-30044-8 035 $a(MiAaPQ)EBC7239158 035 $a(Au-PeEL)EBL7239158 035 $a(PPN)269655131 035 $a(OCoLC)1376355114 035 $a(EXLCZ)995700000000357261 100 $a20230416d2023 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aProgramming Languages and Systems$b[electronic resource] $e32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22?27, 2023, Proceedings /$fedited by Thomas Wies 205 $a1st ed. 2023. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2023. 215 $a1 online resource (XII, 566 p. 172 illus., 74 illus. in color.) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v13990 311 $a3-031-30043-2 327 $aLogics for extensional, locally complete analysis via domain refinements -- Clustered Relational Thread-Modular Abstract Interpretation with Local Traces -- Adversarial Reachability for Program-level Security Analysis -- Automated Grading of Regular Expressions -- Builtin Types viewed as Inductive Families -- Pragmatic Gradual Polymorphism with References -- Modal crash types for intermittent computing -- Gradual Tensor Shape Checking -- A Type System for Effect Handlers and Dynamic Labels -- Interpreting Knowledge-based Programs -- Contextual Modal Type Theory with Polymorphic Contexts -- A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests -- Quorum Tree Abstractions of Consensus Protocols -- MAG ? : Types for Failure-Prone Communication -- System $F?\mu \omega$ with Context-free Session Types -- Safe Session-Based Concurrency with Shared Linear State -- Bunched Fuzz: Sensitivity for Vector Metrics -- Fast and Correct Gradient-Based Optimisation for Probabilistic Programming via Smoothing -- Type-safe Quantum Programming in Idris -- Automatic Alignment in Higher-Order Probabilistic Programming Languages. 330 $aThis open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 20 regular papers presented in this volume were carefully reviewed and selected from 55 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 ;$v13990 606 $aCompilers (Computer programs) 606 $aCompilers and Interpreters 615 0$aCompilers (Computer programs). 615 14$aCompilers and Interpreters. 676 $a005.45 702 $aWies$b Thomas$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996525669503316 996 $aProgramming Languages and Systems$93644366 997 $aUNISA LEADER 01127nam2 2200265 i 450 001 VAN00061766 005 20240806100526.686 010 $a88-7143-171-5 100 $a20071022d1994 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aˆ[1]: La ‰teoria$fFrancesco Pugi 210 $aMilano$cBe-Ma$dstampa 1994 215 $a223 p.$d24 cm. 461 1$1001VAN00061765$12001 $aAEM$eAnalisi degli edifici esistenti in muratura$eun libro, un manuale, un programma$fFrancesco Pugi$1210 $aMilano$cBe-Ma$d[1994]$1215 $a2 v.$d30 cm$e2 floppy disk$1300 $aIn custodia$v1 620 $dMilano$3VANL000284 700 1$aPugi$bFrancesco$3VANV048782$09065 712 $aBE-MA $3VANV108237$4650 801 $aIT$bSOL$c20250131$gRICA 899 $aBIBLIOTECA DEL DIPARTIMENTO DI ARCHITETTURA E DISEGNO INDUSTRIALE$1IT-CE0107$2VAN01 912 $aVAN00061766 950 $aBIBLIOTECA DEL DIPARTIMENTO DI ARCHITETTURA E DISEGNO INDUSTRIALE$d01PREST IICb48b $e01 49261 20071022 996 $aTeoria$91437812 997 $aUNICAMPANIA