LEADER 06065nam 22008535 450 001 9910143859303321 005 20251116234351.0 010 $a3-540-44898-5 024 7 $a10.1007/3-540-44898-5 035 $a(CKB)1000000000212043 035 $a(SSID)ssj0000326882 035 $a(PQKBManifestationID)11268681 035 $a(PQKBTitleCode)TC0000326882 035 $a(PQKBWorkID)10316349 035 $a(PQKB)11603954 035 $a(DE-He213)978-3-540-44898-3 035 $a(MiAaPQ)EBC3072329 035 $a(PPN)15516774X 035 $a(Association for Computing Machinery)10.5555/1760267 035 $a(BIP)13627277 035 $a(BIP)8704079 035 $a(EXLCZ)991000000000212043 100 $a20121227d2003 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aStatic Analysis $e10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings /$fedited by Radhia Cousot 205 $a1st ed. 2003. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2003. 215 $a1 online resource (XIV, 510 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v2694 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-40325-6 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aStatic Analysis of Object-Oriented Languages -- Precise Analysis of String Expressions -- Modular Class Analysis with DATALOG -- Class-Level Modular Analysis for Object Oriented Languages -- Static Analysis of Concurrent Languages -- Checking Interference with Fractional Permissions -- Message Analysis for Concurrent Languages -- Instantaneous Termination in Pure Esterel -- Stack Size Analysis for Interrupt-Driven Programs -- Invited Paper -- Program Development Using Abstract Interpretation (And the Ciao System Preprocessor) -- Static Analysis of Functional Languages -- Selective Tail Call Elimination -- Inserting Safe Memory Reuse Commands into ML-Like Programs -- Static Analysis of Procedural Languages -- Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis -- Client-Driven Pointer Analysis -- Abstract Interpretation of Programs as Markov Decision Processes -- Static Data Analysis -- A Logic for Analyzing Abstractions of Graph Transformation Systems -- Type Systems for Distributed Data Sharing -- Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations -- Computer-Assisted Verification of a Protocol for Certified Email -- Invited Talk -- Craig Interpolation and Reachability Analysis -- Static Linear Relation Analysis -- Precise Widening Operators for Convex Polyhedra -- Cartesian Factoring of Polyhedra in Linear Relation Analysis -- Static Analysis Based Program Transformation -- Continuation-Based Partial Evaluation without Continuations -- Loop Transformations for Reducing Data Space Requirements of Resource-Constrained Applications -- Code Compaction of Matching Single-Entry Multiple-Exit Regions -- Static Heap Analysis -- Existential Heap Abstraction Entailment Is Undecidable -- Typestate Verification: Abstraction Techniques and Complexity Results -- Static Analysis of Accessed Regions in Recursive Data Structures -- Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management. 330 $aThe refereed proceedings of the 10th International Symposium on Static Analysis, SAS 2003, held in San Diego, CA, USA in June 2003 as part of FCRC 2003. The 25 revised full papers presented together with two invited contributions were carefully reviewed and selected from 82 submissions. The papers are organized in topical sections on static analysis of object-oriented languages, static analysis of concurrent languages, static analysis of functional languages, static analysis of procedural languages, static data analysis, static linear relation analysis, static analysis based program transformation, and static heap analysis. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v2694 517 3 $aSAS'03 606 $aProgramming languages (Electronic computers) 606 $aComputer science 606 $aComputer programming 606 $aSoftware engineering 606 $aComputer logic 606 $aLogic, Symbolic and mathematical 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aComputer Science, general$3https://scigraph.springernature.com/ontologies/product-market-codes/I00001 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aProgramming languages (Electronic computers) 615 0$aComputer science. 615 0$aComputer programming. 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aLogic, Symbolic and mathematical. 615 14$aProgramming Languages, Compilers, Interpreters. 615 24$aComputer Science, general. 615 24$aProgramming Techniques. 615 24$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 676 $a005.13 702 $aCousot$b Radhia$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 $a9910143859303321 996 $aStatic Analysis$92995248 997 $aUNINA