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