LEADER 04670nam 22007575 450 001 996465290703316 005 20240402110439.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 $a20100308d2010 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aProgramming Languages and Systems$b[electronic resource] $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 /$fedited by Andrew Gordon 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XV, 632 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$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$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6012 606 $aSoftware engineering 606 $aComputer networks 606 $aComputer science 606 $aComputer programming 606 $aCompilers (Computer programs) 606 $aSoftware Engineering 606 $aComputer Communication Networks 606 $aComputer Science Logic and Foundations of Programming 606 $aProgramming Techniques 606 $aCompilers and Interpreters 615 0$aSoftware engineering. 615 0$aComputer networks. 615 0$aComputer science. 615 0$aComputer programming. 615 0$aCompilers (Computer programs). 615 14$aSoftware Engineering. 615 24$aComputer Communication Networks. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aProgramming Techniques. 615 24$aCompilers and Interpreters. 676 $a005.1 686 $aDAT 350f$2stub 686 $aSS 4800$2rvk 702 $aGordon$b Andrew D.$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aETAPS 2010$f(2010 :$ePaphos, Cyprus) 906 $aBOOK 912 $a996465290703316 996 $aProgramming Languages and Systems$93644366 997 $aUNISA LEADER 01199nam2 22002653i 450 001 VAN00091898 005 20240806100652.483 100 $a20121114d1872 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aˆ<<‰Della proprietà mobile secondo il codice civile italiano>> 1$fper Antonio Rinaldi 210 $aPotenza$cFavata$d1872 215 $a518 p.$d23 cm 316 $aBiblioteca Lauria$5IT-IT-CE0105 CONSBL.800M.3461 461 1$1001VAN00091897$12001 $aDella proprietà mobile secondo il codice civile italiano$fper Antonio Rinaldi$1205 $aPotenza : Favata$1210 $avolumi$a23 cm$1215 $aL'editore varia.$v1 620 $dPotenza$3VANL000145 700 1$aRinaldi$bAntonio$3VANV070951$068200 712 $aFavata$3VANV113951$4650 801 $aIT$bSOL$c20240906$gRICA 899 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$1IT-CE0105$2VAN00 912 $aVAN00091898 950 $aBIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00CONS BL.800M.346 1 $e00BL 5299 20121114 Biblioteca Lauria 996 $aDella proprietà mobile secondo il codice civile italiano 1$91434676 997 $aUNICAMPANIA