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.