LEADER 04184nam  2200661Ia 450 
001 9910484592703321
005 20200520144314.0
010   $a1-280-38582-0
010   $a9786613563743
010   $a3-642-11957-3
024 7 $a10.1007/978-3-642-11957-6
035   $a(CKB)2670000000010129
035   $a(SSID)ssj0000399492
035   $a(PQKBManifestationID)11257717
035   $a(PQKBTitleCode)TC0000399492
035   $a(PQKBWorkID)10375835
035   $a(PQKB)10933887
035   $a(DE-He213)978-3-642-11957-6
035   $a(MiAaPQ)EBC3065092
035   $a(PPN)149059744
035   $a(EXLCZ)992670000000010129
100   $a20100512d2010      uy         0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 00$aProgramming languages and systems $e19th European Symposium on Programming, ESOP 2010, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20 - 28, 2010; proceedings /$fAndrew D. Gordon (ed.)
205   $a1st ed. 2010.
210   $aBerlin $cSpringer$d2010
215   $a1 online resource (XV, 632 p.)
225 1 $aLecture notes in computer science,$x0302-9743 ;$v6012
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-11956-5 
320   $aIncludes bibliographical references and index.
327   $aThe Audacity of Hope: Thoughts on Reclaiming the Database Dream -- Dynamic Boundaries: Information Hiding by Second Order Framing with First Order Assertions -- Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis -- Precise and Automated Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs with Arrays -- A Semantic Framework for Declassification and Endorsement -- Amortised Resource Analysis with Separation Logic -- A PolyTime Functional Language from Light Linear Logic -- Testing Polymorphic Properties -- Formal Verification of Coalescing Graph-Coloring Register Allocation -- A Theory of Speculative Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear Space -- Logical Concurrency Control from Sequential Proofs -- Fluid Updates: Beyond Strong vs. Weak Updates -- Parameterized Memory Models and Concurrent Separation Logic -- Amortized Resource Analysis with Polynomial Potential -- Generative Operational Semantics for Relaxed Memory Models -- Automating Security Mediation Placement -- TRX: A Formally Verified Parser Interpreter -- On the Expressive Power of Primitives for Compensation Handling -- Separating Shape Graphs -- Deadlock-Free Channels and Locks -- Verifying a Compiler for Java Threads -- A Grammar-Based Approach to Invertible Programs -- Faulty Logic: Reasoning about Fault Tolerant Programs -- A Hoare Logic for the Coinductive Trace-Based Big-Step Semantics of While -- A Universal Calculus for Stream Processing Languages -- Enforcing Stateful Authorization and Information Flow Policies in Fine -- Stateful Contracts for Affine Types -- CFA2: A Context-Free Approach to Control-Flow Analysis -- Weighted Dynamic Pushdown Networks -- Explicit Stabilisation for Modular Rely-Guarantee Reasoning.
410  0$aLecture notes in computer science ;$v6012.
517 3 $a19th European Symposium on Programming
517 3 $aEuropean Symposium on Programming
517 3 $aESOP 2010
517 3 $aETAPS 2010
517 3 $aJoint European Conferences on Theory and Practice of Software
606   $aComputer programming$vCongresses
606   $aProgramming languages (Electronic computers)$vCongresses
615  0$aComputer programming
615  0$aProgramming languages (Electronic computers)
676   $a005.1
686   $aDAT 350f$2stub
686   $aSS 4800$2rvk
701   $aGordon$b Andrew D$01756442
712 12$aETAPS 2010$f(2010 :$ePaphos, Cyprus)
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484592703321
996   $aProgramming languages and systems$94193720
997   $aUNINA