Static Analysis

Static Analysis: 8th International Symposium, SAS 2001 Paris, France, July 16–18, 2001 ProceedingsAuthor: Patrick Cousot Published by Springer Berlin Heidelberg ISBN: 978-3-540-42314-0 DOI: 10.1007/3-540-47764-0Table of Contents:Analysis of Multithreaded Programs
Communication and Parallelism Introduction and Elimination in Imperative Concurrent Programs
Using Slicing to Identify Duplication in Source Code
Soft Scheduling for Hardware
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
Watchpoint Semantics: A Tool for Compositional and Focussed Static Analyses
Parameterizing a Groundness Analysis of Logic Programs
Finite-Tree Analysis for Constraint Logic-Based Languages
Applications of Extended Static Checking
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
Estimating the Impact of Scalable Pointer Analysis on Optimization
Efficient Computation of Parameterized Pointer Information for Interprocedural Analyses
Parametric Optimization of Open Real-Time Systems
Embedding Chaos
Analyzing Fair Parametric Extended Automata
Incompleteness, Counterexamples, and Refinements in Abstract Model-Checking