LEADER 07406nam 22008295 450 001 9910143891803321 005 20251116234312.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(BIP)7918980 035 $a(EXLCZ)991000000000211864 100 $a20121227d2002 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aStatic Analysis $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 08$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. 330 $aStaticanalysisisaresearchareaaimedatdevelopingprinciplesandtoolsfor- ri'cation and semantics-based manipulation of programs and high-performance implementation of programming languages. The series of Static Analysis S- posia is a forum for the presentation and discussion of advances in the area. This volume contains the papers accepted for presentation at the Ninth - ternational Static Analysis Symposium (SAS 2002), which was held Sept- ber 17-20, 2002 in Madrid, Spain. Previous SAS symposia were held in - ris, France (LNCS 2126), Santa Barbara, CA, USA (LNCS 1824), Venice, Italy (LNCS1694),Pisa,Italy(LNCS1503),Paris,France(LNCS1302),Aachen,G- many (LNCS 1145), Glasgow, UK (LNCS 983), Namur, Belgium (LNCS 864), followingtheinternationalworkshopWSAinPadova,Italy(LNCS724),Bor- aux,France(BigreVol.81-82)andJTASPEFL/WSA,Bordeaux,France(Bigre Vol. 74). In response to the call for papers, 86 contributions were submitted from 12 di'erent countries. Following on-line discussions, the Program Committee met in Madrid on June 22, 2002, and selected 32 papers, basing this choice on their scienti'cqualityandrelevancetothesymposium.Eachpaperwasreviewedbyat leastthreeProgramCommitteemembersorexternalreferees.Inadditiontothe contributed papers, this volume includes abstracts of invited talks by Thomas Reps(UniversityofWisconsin,USA),RobertHall(AT&TLabsResearch,USA), and Javier Esparza (University of Edinburgh, United Kingdom). On behalf of the Program Committee, the Program Chairs would like to thank all the authors who submitted papers and all the external referees for their careful work in the reviewing process. The support of the several funding agencies, listed later in the volume, which provided part of the funds for the organization of the conference is also gratefully acknowledged. 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 $aLogic, Symbolic and mathematical 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$aLogic, Symbolic and mathematical. 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 $a9910143891803321 996 $aStatic Analysis$92995248 997 $aUNINA