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é

maintained by Schloss Dagstuhl LZI, founded at University of Trier