SPLT 1987: Trégastel, France

Sémantique de la programmation en logique

Extensions

Détection des boucles

Applications

Implémentation

Spécification

Contrôle

Nouveaux formalismes

Mécanismes d'explication

Environnements

Parallélisme

Sémantique de la programmation en logique

Objets et Prolog

Mesures

Papier invité

a service of Schloss Dagstuhl - Leibniz Center for Informatics