SPLT 1988: Trégastel, France

Nouveaux formalismes

Transformation de programmes

Extensions

Applications

Contrôle

Prolog et Bases de données

Parallélisme

Implémentation

Papier Invité

a service of Schloss Dagstuhl - Leibniz Center for Informatics