Baudouin Le Charlier

  • 27 Citations
  • 1 h-Index
1974 …2002
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Baudouin Le Charlier is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles
Audit Mathematics
Software architecture Engineering & Materials Science
Software Architecture Mathematics
Straight Mathematics
Express Mathematics
Query Mathematics
Language Mathematics

Projects 1995 2002

Research Output 1974 1998

  • 27 Citations
  • 1 h-Index
  • 3 Conference contribution
  • 2 Chapter

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.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

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.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

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

Habra, N., Le Charlier, B., Mounji, A. & Mathieu, I., 1 Jan 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).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

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.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

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.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Thesis

Abstract Interpretation of full Prolog

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

Supervisor: Le Charlier, B. (Supervisor)

Student thesis: Master typesMaster in Computer science

File

Abstract Interpretation of Prolog programs: Optimizations of an implementation

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

Supervisor: Le Charlier, B. (Supervisor)

Student thesis: Master typesMaster in Computer science

File

Algorithmes de manipulation des grands nombres entiers : preuves de correction

Author: Hastir, M., 1986

Supervisor: Le Charlier, B. (Jury)

Student thesis: Master typesMaster in Computer science

File

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

Author: Pollet, I., 1997

Supervisor: Le Charlier, B. (Supervisor)

Student thesis: Master typesMaster in Computer science

File

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

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

Supervisor: Le Charlier, B. (Supervisor)

Student thesis: Master typesMaster in Computer science

File