4. PLILP 1992: Leuven, Belgium

Invited Lecture

Parallelism

Static Analysis

Implementation

Attribute Grammars

Transformation/Synthesis

Implementation II

Invited Lecture

Abstract Interpretation

Implementation III

Debugging

Integration

System Demonstrations

a service of Schloss Dagstuhl - Leibniz Center for Informatics