LEADER 05553nam 22008055 450 001 996465509503316 005 20200706212202.0 010 $a3-540-45789-5 024 7 $a10.1007/3-540-45789-5 035 $a(CKB)1000000000211864 035 $a(SSID)ssj0000326881 035 $a(PQKBManifestationID)11239526 035 $a(PQKBTitleCode)TC0000326881 035 $a(PQKBWorkID)10298184 035 $a(PQKB)11202983 035 $a(DE-He213)978-3-540-45789-3 035 $a(MiAaPQ)EBC3072008 035 $a(PPN)155224557 035 $a(EXLCZ)991000000000211864 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aStatic Analysis$b[electronic resource] $e9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings /$fedited by Manuel Hermenegildo, German Puebla 205 $a1st ed. 2002. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2002. 215 $a1 online resource (XII, 536 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2477 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-44235-9 320 $aIncludes bibliographical references and index. 327 $aStatic Program Analysis via 3-Valued Logic -- Open Modeling in Multi-stakeholder Distributed Systems: Research and Tool Challenges -- An Algebraic Approach to the Static Analysis of Concurrent Software -- Polynomial Constants Are Decidable -- Normalizable Horn Clauses, Strongly Recognizable Relations, and Spi -- Nonuniform Alias Analysis of Recursive Data Structures and Arrays -- Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes -- Automated Verification of Concurrent Linked Lists with Counters -- Backward Type Inference Generalises Type Checking -- More Precise Yet Efficient Type Inference for Logic Programs -- A Few Graph-Based Relational Numerical Abstract Domains -- Static Analysis of the Numerical Stability of Loops -- On Termination of Logic Programs with Floating Point Computations -- Modular Control Flow Analysis for Libraries -- An Efficient Inclusion-Based Points-To Analysis for Strictly-Typed Languages -- Compactly Representing First-Order Structures for Static Analysis -- Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library -- Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis -- Improving the Precision of Equality-Based Dataflow Analyses -- Guaranteed Optimization: Proving Nullspace Properties of Compilers -- Representation Analysis for Coercion Placement -- Pipeline Modeling for Timing Analysis -- Analysing Approximate Confinement under Uniform Attacks -- An Improved Constraint-Based System for the Verification of Security Protocols -- From Secrecy to Authenticity in Security Protocols -- Security Typings by Abstract Interpretation -- Static Confidentiality Enforcement for Distributed Programs -- Refinement of LTL Formulas for Abstract Model Checking -- Making Abstract Model Checking Strongly Preserving -- Semantics for Abstract Interpretation-Based Static Analyzes of Temporal Properties -- Checking Safety Properties of Behavioral VHDL Descriptions by Abstract Interpretation -- States vs. Traces in Model Checking by Abstract Interpretation -- Reuse of Results in Termination Analysis of Typed Logic Programs -- Finiteness Analysis in Polynomial Time -- Detecting Optimal Termination Conditions of Logic Programs. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2477 606 $aDatabase management 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aSoftware engineering 606 $aMathematical logic 606 $aComputer programming 606 $aDatabase Management$3https://scigraph.springernature.com/ontologies/product-market-codes/I18024 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 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 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 615 0$aDatabase management. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer logic. 615 0$aSoftware engineering. 615 0$aMathematical logic. 615 0$aComputer programming. 615 14$aDatabase Management. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 615 24$aSoftware Engineering. 615 24$aMathematical Logic and Formal Languages. 615 24$aProgramming Techniques. 676 $a005.1 702 $aHermenegildo$b Manuel$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPuebla$b German$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Static Analysis Symposium 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465509503316 996 $aStatic Analysis$9772085 997 $aUNISA