Thèse
Résultats de recherche
-
Abstract Interpretation of Prolog programs: Optimizations of an implementation
Author: Englebert, V. & Roland, D., 1992Superviseur: Le Charlier, B. (Promoteur)
Thèse de l'étudiant: Master types › Master en sciences informatiques
Fichier -
A smart Meta-CASE: towards an integrated solution
Author: Englebert, V., 2000Superviseur: Hainaut, J. (Promoteur), Fichefet, J. (Jury), Lyytinen, K. (Personne externe) (Jury), Dubois, É. (Jury) & Habra, N. (Jury)
Thèse de l'étudiant: Doc types › Docteur en Sciences