1. SAS 1994: Namur, Belgium

Invited Talk

Logic Programming

Object-Oriented Programming

Instruction Scheduling

Functional Program Optimization

Invited Talk

Extent Analysis

Verification

Invited Talk

Dependency Analyses for Logic Programming

Generic Fixpoint Algorithms

Efficient Strictness Analysis

Type-based Analyses for Functional Programming

Invited Talk

Transformation