2. PLILP 1990: Linköping, Sweden

Refine list

showing all ?? records

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

a service of  Schloss Dagstuhl - Leibniz Center for Informatics