11. SAS 2004: Verona, Italy

Invited Talks

Program and System Verification

Security and Safety

Pointer Analysis

Abstract Interpretation and Algorithms

Abstract Domain and Data Structures

Shape Analysis and Logic

Termination Analysis