03805oam 2200577 450 99646580570331620210521202841.03-540-47764-010.1007/3-540-47764-0(CKB)1000000000211535(SSID)ssj0000320188(PQKBManifestationID)11242676(PQKBTitleCode)TC0000320188(PQKBWorkID)10347262(PQKB)10172016(DE-He213)978-3-540-47764-8(MiAaPQ)EBC3062368(MiAaPQ)EBC6413339(PPN)123720265(EXLCZ)99100000000021153520210521d2001 uy 0engurnn|008mamaatxtccrStatic analysis 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings /Patrick Cousot, ed1st ed. 2001.Berlin, Germany :Springer,[2001]©20011 online resource (XI, 439 p.) Lecture Notes in Computer Science,0302-9743 ;2126Includes index.3-540-42314-1 Includes bibliographical references and index.Invited Paper -- Analysis of Multithreaded Programs -- Program Transformation -- Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs -- Using Slicing to Identify Duplication in Source Code -- Soft Scheduling for Hardware -- Strictness and Termination -- Effective Strictness Analysis with HORN Constraints -- Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs -- An Abstract Analysis of the Probabilistic Termination of Programs -- Semantics Abstraction -- Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses -- Logic and Constraint Programming -- Parameterizing a Groundness Analysis of Logic Programs -- Finite-Tree Analysis for Constraint Logic-Based Languages -- Invited Paper -- Applications of Extended Static Checking -- Data Structures -- Cleanness Checking of String Manipulations in C Programs via Integer Analysis -- Solving Regular Tree Grammar Based Constraints -- Static Analyses of the Precision of Floating-Point Operations -- Pointer Analysis -- Estimating the Impact of Scalable Pointer Analysis on Optimization -- Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses -- Model Checking -- Parametric Optimization of Open Real-Time Systems -- Embedding Chaos -- Abstract Model Checking -- Analyzing Fair Parametric Extended Automata -- Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking -- Invited Talk -- Language-Based Security: What’s Needed and Why -- Mobility -- A Behavioral Module System for the Pi-Calculus -- An Abstract Interpretation Framework for Analysing Mobile Ambients -- Abstract Interpretation-Based Static Analysis of Mobile Ambients -- Invited Session on Security -- Static Analysis and Software Assurance -- A Type and Effect Analysis of Security Protocols -- Abstracting Cryptographic Protocols by Prolog Rules -- Security-Typed Languages and Distributed Computation.Lecture Notes in Computer Science,0302-9743 ;2126Programming languages (Electronic computers)CongressesComputer programmingCongressesProgramming languages (Electronic computers)Computer programming005.1Cousot Patrick1948-International Static Analysis SymposiumMiAaPQMiAaPQUtOrBLWBOOK996465805703316Static Analysis2995248UNISA