LEADER 05023nam 22007335 450 001 9910484499503321 005 20251226202838.0 010 $a3-642-54833-4 024 7 $a10.1007/978-3-642-54833-8 035 $a(CKB)3710000000095069 035 $a(DE-He213)978-3-642-54833-8 035 $a(SSID)ssj0001187455 035 $a(PQKBManifestationID)11664928 035 $a(PQKBTitleCode)TC0001187455 035 $a(PQKBWorkID)11258031 035 $a(PQKB)10141458 035 $a(MiAaPQ)EBC3093507 035 $a(PPN)177824611 035 $a(EXLCZ)993710000000095069 100 $a20140321d2014 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aProgramming Languages and Systems $e23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /$fedited by Zhong Shao 205 $a1st ed. 2014. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2014. 215 $a1 online resource (XIV, 576 p. 161 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8410 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-642-54832-6 320 $aIncludes bibliographical references and author index. 327 $aComposable Transactional Objects: A Position Paper -- Application-Scale Secure Multiparty Computation -- An Array-Oriented Language with Static Rank Polymorphism -- Gradual Typing for Annotated Type Systems -- Staged Composition Synthesis -- Overlapping and Order-Independent Patterns: Definitional Equality for All -- Verified Compilation for Shared-Memory C -- Verifying an Open Compiler Using Multi-language Semantics -- Impredicative Concurrent Abstract Predicates -- Local Reasoning for the POSIX File System -- A Coq Formalization of the Relational Data Model -- On Probabilistic Applicative Bisimulation and Call-by-Value ?-Calculi -- Grounding Synchronous Deterministic Concurrency in Sequential Programming -- The Duality of Construction -- Deriving Pretty-Big-Step Semantics from Small-Step Semantics -- Communicating State Transition Systems for Fine-Grained Concurrent Resources -- Checking Linearizability of Encapsulated Extended Operations -- Bounded Linear Types in a Resource Semiring -- A Core Quantitative Coeffect Calculus -- Measurements in Proof Nets as Higher-Order Quantum Circuits -- Automatic Termination Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using Alternative Paths -- The Network as a Language Construct -- Resolving Non-determinism in Choreographies -- A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join -- Targeted Update ? Aggressive Memory Abstraction Beyond Common Sense and Its Application on Static Numeric Analysis -- Affine Parallelization of Loops with Run-Time Dependent Bounds from Binaries. 330 $aThis book constitutes the proceedings of the 23rd European Symposium on Programming, ESOP 2014, which took place in Grenoble, France, in April 2014, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014. The 27 papers presented in this volume were carefully reviewed and selected from 109 submissions. In addition, the book contains two invited talks. The contributions are organized in topical sections named: type systems; verified compilation; program verification; semantics; concurrency; linear types; network and process calculi; and program analysis. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v8410 606 $aCompilers (Computer programs) 606 $aComputer science 606 $aSoftware engineering 606 $aComputer programming 606 $aCompilers and Interpreters 606 $aComputer Science Logic and Foundations of Programming 606 $aSoftware Engineering 606 $aTheory of Computation 606 $aProgramming Techniques 615 0$aCompilers (Computer programs). 615 0$aComputer science. 615 0$aSoftware engineering. 615 0$aComputer programming. 615 14$aCompilers and Interpreters. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aSoftware Engineering. 615 24$aTheory of Computation. 615 24$aProgramming Techniques. 676 $a005.1 702 $aShao$b Zhong$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aETAPS (Conference)$d(17th :$f2014 :$eGrenoble, France) 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484499503321 996 $aProgramming Languages and Systems$93644366 997 $aUNINA