Search results

• Abstract Interpretation of Prolog programs: Optimizations of an implementation

  Englebert, V. (Author) & Roland, D. (Author)Le Charlier, B. (Supervisor), 1992

  Student thesis: Master types › Master in Computer science

  File

• A smart Meta-CASE: towards an integrated solution

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

  Student thesis: Doc types › Doctor of Sciences