10. SAS 2003: San Diego, California, USA

Static Analysis of Object-Oriented Languages

Static Analysis of Concurrent Languages

Invited Paper

Static Analysis of Functional Languages

Static Analysis of Procedural Languages

Static Data Analysis

Invited Talk

Static Linear Relation Analysis

Static Analysis Based Program Transformation

Static Heap Analysis

maintained by Schloss Dagstuhl LZI, founded at University of Trier