Baudouin Le Charlier

  • 27 Citations
  • 1 h-Index
1974 …2002
Si vous avez apporté des modifications à Pure, elles seront bientôt visibles.

Empreinte digitale Examinez les sujets de recherche où Baudouin Le Charlier est actif. Ces libellés de rubriques sont le fruit de recherches menées par cette personne. Ensemble, ils forment une empreinte digitale unique.

  • 1 Profils similaires
Audit mathématiques
Software architecture Ingénierie et Science des Matériaux
Software Architecture mathématiques
Straight mathématiques
Express mathématiques
Query mathématiques
Language mathématiques

Projets 1995 2002

Résultat de recherche 1974 1998

  • 27 Citations
  • 1 h-Index
  • 3 Article dans les actes d'une conférence/un colloque
  • 2 Chapitre

A Step towards a Methodology for Mercury Program Construction: A declarative Semantics for Mercury

Baldan, D., Le Charlier, B., Leclère, C. & Pollet, I., 1998, LOPSTR'98: Proc. International Workshop on Logic-Based program Synthesis and Transformation. Flener, P. (Ed.). Springer Verlag, Vol 1559. p. 21-40 20 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

Unified Relational Framework for Programming Paradigm Combination..

Habra, N. & Le Charlier, B., 1997, Proceedings of the FroCos'96: First International Workshop Frontiers of Combining Systems. Dordrecht, Boston, London: Kluwer Academic Publishers, Vol 3. p. 357-375 19 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceChapitre

Asax: Software architecture and rule-based language for universal audit trail analysis

Habra, N., Le Charlier, B., Mounji, A. & Mathieu, I., 1 janv. 1992, Computer Security - ESORICS 1992 - 2nd European Symposium on Research in Computer Security, Proceedings. Quisquater, J-J., Eizenberg, G. & Deswarte, Y. (eds.). Springer Verlag, p. 435-450 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 648 LNCS).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

Audit
Software architecture
Software Architecture
Straight
Express

Modèles, Langages et Systèmes pour la conception et l'exploitation de bases de données

Le Charlier, B. & Hainaut, J-L., 1978, Actes du congrès AFCET 178. Editions Hommes et Techniques, p. 179-189 11 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

An Extensible Semantic Model of Data Base and its Data Language

Hainaut, J-L. & Le Charlier, B., 1974, Proc. of IFIP Congress 74. North-Holland, p. 1026-1030 5 p.

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

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