Résultats de recherche

• Abstract Interpretation of Prolog programs: Optimizations of an implementation

  Author: Englebert, V. & Roland, D., 1992

  Superviseur: 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., 2000

  Superviseur: 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