Static Analysis

Static Analysis: 8th International Symposium, SAS 2001 Paris, France, July 16–18, 2001 Proceedings
Author: Patrick Cousot
Published by Springer Berlin Heidelberg
ISBN: 978-3-540-42314-0
DOI: 10.1007/3-540-47764-0

Table 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