Dependence Graphs, Static Analysis

Using Dependence Graphs as a Support to Document Programs
Francoise Balmas

Precise Call Graph Construction in the Presence of Function Pointers
Ana Milanova, Atanas Rountev, Barbara Ryder

Semantics Guided Filtering of Combinatorial Graph Transformations in Declarative Equation Based Languages
Peter Bunus, Peter Fritzson

Visualization of Exception Propagation for Java using Static Analysis
Byeong-Mo Chang, Jang-Wu Jo, Soon Hee Her

Papers accepted for the workshop are listed in Section 9.

Mark Harman, Department of Information Systems and Computing, Brunel University, Uxbridge, Middlesex, UB8 3PH.