Résultats de recherche

• Abstract Interpretation of Prolog programs: Optimizations of an implementation

  Englebert, V. (Auteur) & Roland, D. (Auteur)Le Charlier, B. (Promoteur), 1992

  Student thesis: Master types › Master en sciences informatiques

  Fichier

• A smart Meta-CASE: towards an integrated solution

  Englebert, V. (Auteur)Hainaut, J.-L. (Promoteur), Fichefet, J. (Jury), Lyytinen, K. (Jury), Dubois, É. (Jury) & Habra, N. (Jury), 2000

  Student thesis: Doc types › Docteur en Sciences