2. PLILP 1990: Linköping, Sweden

Implementation of Term Rewriting

Algorithmic Programming

Constraint Logic Programming

Implementation of Logic Programming

Logic Programming

Static Analysis

Functional Programming

Abstract Interpretation

Implementation of Pattern Matching

Integration of Logic Programming and Functional Programming