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

maintained by Schloss Dagstuhl LZI at University of Trier