Baudouin LE CHARLIER

  • 28 Citations
  • 1 h-Index
1974 …2002

Research output per year

Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Thèse

Abstract Interpretation of full Prolog

Auteur: Chabot, F. & Joucken, P., 1995

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Abstract Interpretation of Prolog programs: Optimizations of an implementation

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

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Algorithmes de manipulation des grands nombres entiers : preuves de correction

Auteur: Hastir, M., 1986

Superviseur: Le Charlier, B. (Jury)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Analyse de strictness des langages applicatifs par l'interprétation abstraite

Auteur: Pollet, I., 1997

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Analyse dynamique de fichiers audit-trail pour la détection de virus informatiques

Auteur: Delhez, D. & Hock, M., 1996

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Analyse Sémantique des Communications Entre Processus de Programmes Parallèles de Type CSP

Auteur: Zampuniéris, D., 1991

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Analyse statique par calcul de point fixe de systèmes d'équations

Auteur: Maes, S., 1992

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

A new procedural semantics for prolog

Auteur: Trinon, J., 1987

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Application et évaluation d'une méthodologie de programmation logique

Auteur: Mignon, B., 1988

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Automated verification of Prolog programs: an implementation

Auteur: Gobert, F., 2003

Superviseur: Le Charlier, B. (Promoteur) & Leclère, C. (Copromoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Calcul parallèle : les ordinateurs MIMD à mémoire distribuée

Auteur: Bouvry, P., 1991

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Certification de Java Card (L'analyse statique de Java Card)

Auteur: Jabari, B., 2005

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Comparison of two Graphical User Interfaces : XView and Motif

Auteur: Gillard, S., 1991

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Conception d'un Interpréteur Prolog sur base de la Machine Abstraite de Warren

Auteur: CAMMARATA, F. & WAERENBURGH, M., 1994

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier
Fichier

Contribution à l'étude de modèles de cycle de vie en programmation impérative et logique

Auteur: De Raedemacker, P., 1989

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Contribution à l'implémentation d'un langage graphique de description d'assertions

Auteur: Rulkin, J., 1989

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Contribution à l'introduction d'une méthodologie de développement dans une entreprise

Auteur: Lefebvre, C. & Philippot, J., 1989

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Définition d'un langage de consultation pour une Base de Connaissances "orientée-objet"

Auteur: Nachtergaele, V., 1989

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Définition d'un langage de programmation permettant l'expression d'assertions

Auteur: Fisette, D., 1985

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Définition d'un sous-ensemble du langage Prolog.: Proposition d'une méthode de démonstration de programmes applicable à ce sous-ensemble

Auteur: Derroitte, M., 1986

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Définition et implémentation d'un langage déclaratif pour l'analyse d'audit trails

Auteur: Gérard, F., 1998

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Définition et implémentation d'un langage graphique pour la description d'assertions

Auteur: Detiège, O. & Zébier , X., 1998

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Deriving run time properties of Logic Programs by means of Abstract Interpretation: An implementation

Auteur: Rouard, D., 1993

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier

Description et analyse des différentes stratégies de récupération dans les systèmes de Calcul Formel : l'exemple de PAC

Auteur: Olikier, J., 1991

Superviseur: Le Charlier, B. (Promoteur)

Thèse de l'étudiant: Master typesMaster en sciences informatiques

Fichier