LEADER 05407nam 22007815 450 001 996465283503316 005 20200703102727.0 010 $a1-280-38313-5 010 $a9786613561053 010 $a3-642-03237-0 024 7 $a10.1007/978-3-642-03237-0 035 $a(CKB)1000000000772896 035 $a(SSID)ssj0000320191 035 $a(PQKBManifestationID)11255891 035 $a(PQKBTitleCode)TC0000320191 035 $a(PQKBWorkID)10347439 035 $a(PQKB)11062317 035 $a(DE-He213)978-3-642-03237-0 035 $a(MiAaPQ)EBC3064441 035 $a(PPN)139870849 035 $a(EXLCZ)991000000000772896 100 $a20100301d2009 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aStatic Analysis$b[electronic resource] $e16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009, Proceedings /$fedited by Jens Palsberg, Zhendong Su 205 $a1st ed. 2009. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2009. 215 $a1 online resource (X, 362 p.) 225 1 $aProgramming and Software Engineering ;$v5673 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-03236-2 320 $aIncludes bibliographical references and index. 327 $aInvited Talks -- Algorithmic Program Synthesis with Partial Programs and Decision Procedures -- Algorithmic Verification of Systems Software Using SMT Solvers -- Contributed Papers -- Abstraction Refinement for Quantified Array Assertions -- Inferring Dataflow Properties of User Defined Table Processors -- Polymorphic Fractional Capabilities -- Automatic Parallelization and Optimization of Programs by Proof Rewriting -- Refinement of Trace Abstraction -- The Causal Graph Revisited for Directed Model Checking -- Proving the Correctness of the Implementation of a Control-Command Algorithm -- Abstract Interpretation of FIFO Replacement -- A Verifiable, Control Flow Aware Constraint Analyzer for Bounds Check Elimination -- Increasing the Scope and Resolution of Interprocedural Static Single Assignment -- Region Analysis for Race Detection -- Bottom-Up Shape Analysis -- The Complexity of Andersen?s Analysis in Practice -- Optimizing Pointer Analysis Using Bisimilarity -- Type Analysis for JavaScript -- Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology -- Creating Transformations for Matrix Obfuscation -- Abstract Interpretation from a Topological Perspective -- Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships -- Invariant Checking for Programs with Procedure Calls -- Inter-program Properties. 330 $aThis book constitutes the refereed proceedings of the 16th International Symposium on Static Analysis, SAS 2009, held in Los Angeles, CA, USA in August 2009 - co-located with LICS 2009, the 24th IEEE Symposium on Logic in Computer Science. The 21 revised full papers presented together with two invited lectures were carefully reviewed and selected from 52 submissions. The papers address all aspects of static analysis including abstract domains, abstract interpretation, abstract testing, compiler optimizations, control flow analysis, data flow analysis, model checking, program specialization, security analysis, theoretical analysis frameworks, type based analysis, and verification systems. 410 0$aProgramming and Software Engineering ;$v5673 606 $aProgramming languages (Electronic computers) 606 $aSoftware engineering 606 $aComputer programming 606 $aComputer logic 606 $aMathematical logic 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSoftware Engineering/Programming and Operating Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I14002 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aProgramming languages (Electronic computers). 615 0$aSoftware engineering. 615 0$aComputer programming. 615 0$aComputer logic. 615 0$aMathematical logic. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aSoftware Engineering/Programming and Operating Systems. 615 24$aProgramming Techniques. 615 24$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aMathematical Logic and Formal Languages. 676 $a005.13 702 $aPalsberg$b Jens$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSu$b Zhendong$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Static Analysis Symposium$d(16th :$f2009 :$eLos Angeles, Calif.) 906 $aBOOK 912 $a996465283503316 996 $aStatic Analysis$9772085 997 $aUNISA LEADER 01969oam 2200529 450 001 9910702775203321 005 20150203104231.0 035 $a(CKB)5470000002430445 035 $a(OCoLC)895160721 035 $a(EXLCZ)995470000002430445 100 $a20141113d2014 ua 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 14$aThe crimes on the books and Committee jurisdiction $ehearing before the Over-Criminalization Task Force of 2014 of the Committee on the Judiciary, House of Representatives, One Hundred Thirteenth Congress, second session, July 25, 2014 210 1$aWashington :$cU.S. Government Printing Office,$d2014. 215 $a1 online resource (iii, 59 pages) 300 $aTitle from title screen (viewed on Nov. 13, 2014). 300 $aPaper version available for sale by the Superintendent of Documents, United States Government Printing Office. 300 $a"Serial no. 113-102." 320 $aIncludes bibliographical references. 517 $aCrimes on the books and Committee jurisdiction 606 $aCriminal law$zUnited States 606 $aCrime$xGovernment policy$zUnited States 606 $aCriminal justice, Administration of$zUnited States 606 $aCriminal jurisdiction$zUnited States 606 $aCriminal intent$xGovernment policy$zUnited States 608 $aLegislative hearings.$2lcgft 615 0$aCriminal law 615 0$aCrime$xGovernment policy 615 0$aCriminal justice, Administration of 615 0$aCriminal jurisdiction 615 0$aCriminal intent$xGovernment policy 801 0$bGPO 801 1$bGPO 801 2$bGPO 801 2$bCOO 801 2$bOCLCO 801 2$bUBY 801 2$bOCLCO 801 2$bGPO 906 $aBOOK 912 $a9910702775203321 996 $aThe crimes on the books and Committee jurisdiction$93461059 997 $aUNINA LEADER 04243nam 22009973 450 001 996320808803316 005 20230125190849.0 035 $a(CKB)9870000000000486 035 $a(OCoLC)865475534 035 $a(CaPaEBR)ebrary10785215 035 $a(SSID)ssj0001084190 035 $a(PQKBManifestationID)12413506 035 $a(PQKBTitleCode)TC0001084190 035 $a(PQKBWorkID)11034861 035 $a(PQKB)11504432 035 $a(CEL)239762 035 $a(CaBNVSL)thg00909888 035 $a(MiAaPQ)EBC3289471 035 $a(CaOOCEL)239762 035 $a(VaAlCD)20.500.12592/5tqqv6 035 $a(EXLCZ)999870000000000486 071 60$a239762$bCaOOCEL$q(Public Documents) 100 $a20131130h20132005 uf 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt 182 $cc 183 $acr 200 00$aIPCC special report on carbon dioxide capture and storage /$fedited by Bert Metz, Ogunlade Davidson, Heleen de Coninck, Manuela Loos, Leo Meyer ; prepared by Working Group III of the Intergovernmental Panel on Climate Change 210 1$aCambridge [England] ;$aNew York, NY :$cPublished for the Intergovernmental Panel on Climate Change, Cambridge University Press,$d2005. 210 2$aBeaconsfield, Quebec :$cCanadian Electronic Library,$d2013. 215 $a1 online resource (443 p.) 300 $aIssued as part of the Canadian Electronic Library, Documents collection, and Canadian public policy collection. 311 08$aPrint version: 9780521866439 320 $aIncludes bibliographical references. 327 $aForeword -- Preface -- Summary for policymakers -- Technical summary -- Introduction -- Sources of CO2 -- Capture of CO2 -- Transport of CO2 -- Underground geological storage -- Ocean storage -- Mineral carbonation and industrial uses of carbon dioxide -- Costs and economic potential -- Implications of carbon dioxide capture and storage for greenhouse gas inventories and accounting -- Annex I. Properties of CO2 and carbon-based fuels -- Annex II. Glossary, acronyms and abbreviations -- Annex III. Units -- Annex IV. Authors and reviewers -- Annex V. List of major IPCC reports. 410 0$aCanadian Electronic Library.$pDocuments collection. 410 0$aCanadian Electronic Library.$pCanadian public policy collection. 517 1 $aCarbon dioxide capture and storage. 517 3 $aIntergovernmental Panel on Climate Change special report on carbon dioxide capture and storage. 606 $aAtmospheric carbon dioxide$xEnvironmental aspects 606 $aCarbon dioxide mitigation 606 $aCarbon dioxide sinks 606 $aClimatic changes 606 $aEnvironmental impact analysis 606 $aAir pollution$2Iptcnc 606 $aArtificial objects$2Iptcnc 606 $aBiomass$2Iptcnc 606 $aCarbon capture and storage$2Iptcnc 606 $aCarbon dioxide$2Iptcnc 606 $aCarbon monoxide$2Iptcnc 606 $aChemistry$2Iptcnc 606 $aClimate change mitigation$2Iptcnc 606 $aCoal$2Iptcnc 606 $aCoal gasification$2Iptcnc 615 0$aAtmospheric carbon dioxide$xEnvironmental aspects. 615 0$aCarbon dioxide mitigation. 615 0$aCarbon dioxide sinks. 615 0$aClimatic changes. 615 0$aEnvironmental impact analysis. 615 7$aAir pollution 615 7$aArtificial objects 615 7$aBiomass 615 7$aCarbon capture and storage 615 7$aCarbon dioxide 615 7$aCarbon monoxide 615 7$aChemistry 615 7$aClimate change mitigation 615 7$aCoal 615 7$aCoal gasification 676 $a363.738742 702 $aMetz$b Bert 702 $aDavidson$b Ogunlade R. 702 $aDe Coninck$b Heleen 702 $aLoos$b Manuela 702 $aMeyer$b Leo 712 02$aIntergovernmental Panel on Climate Change.$bWorking Group III, 712 02$aIntergovernmental Panel on Climate Change, 712 02$aCanadian Electronic Library (Firm), 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996320808803316 996 $aIPCC special report on carbon dioxide capture and storage$92842675 997 $aUNISA