8. SAS 2001: Paris, France

Invited Paper

Program Transformation

Strictness and Termination

Sematics Abstraction

Logic and Constraint Programming

Invited Paper

Data Structures

Pointer Analysis

Model Checking

Abstract Model Checking

Invited Talk

Mobility

Invited Session on Security