Static Analysis

the long version

Static Analysis: 8th International Symposium, SAS 2001 Paris, France, July 16–18, 2001 Proceedings<br />Author: Patrick Cousot<br /> Published by Springer Berlin Heidelberg<br /> ISBN: 978-3-540-42314-0<br /> DOI: 10.1007/3-540-47764-0<br /><br />Table of Contents:<p></p><ul><li>Analysis of Multithreaded Programs </li><li>Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs </li><li>Using Slicing to Identify Duplication in Source Code </li><li>Soft Scheduling for Hardware </li><li>Effective Strictness Analysis with HORN Constraints </li><li>Applying Static Analysis Techniques for Inferring Termination Conditions of Logic Programs </li><li>An Abstract Analysis of the Probabilistic Termination of Programs </li><li>Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses </li><li>Parameterizing a Groundness Analysis of Logic Programs </li><li>Finite-Tree Analysis for Constraint Logic-Based Languages </li><li>Applications of Extended Static Checking </li><li>Cleanness Checking of String Manipulations in C Programs via Integer Analysis </li><li>Solving Regular Tree Grammar Based Constraints </li><li>Static Analyses of the Precision of Floating-Point Operations </li><li>Estimating the Impact of Scalable Pointer Analysis on Optimization </li><li>Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses </li><li>Parametric Optimization of Open Real-Time Systems </li><li>Embedding Chaos </li><li>Analyzing Fair Parametric Extended Automata </li><li>Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking</li></ul>