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é

Schloss Dagstuhl LZI