SPLT 1986: Trégastel, France

Contrôle

Méthodologie

Analyse de programmes

Extensions

Implémentation

Transformation de programmes

Environnements

Objets et Prolog

Bases de données et Prolog

Applications

Parallélisme

Invited paper