5. SAS 1998: Pisa, Italy

Data/Flow Analysis

Logic Programming

Concurrency

Abstract Domains

Partial Evaluation

Type Inference

Optimization

Tutorials

Invited Talk