Thèse de doctorat en Informatique
Sous la direction de Patrick Sallé.
Soutenue en 1988
à Toulouse, INPT .
Description de ciel, un langage de programmation logique fortement type a base de classes et d'instances a la facon des langages a objets
Ciel : Classes and Instances in Logic
Pas de résumé disponible.