Projects per year
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
Projects
- 4 Finished
-
Asax: Advanced sequential analysis on unix
LE CHARLIER, B. & LETOCART, V.
1/09/00 → 1/09/02
Project: Research
-
Survauto: Surveillance automatisée et en temps réel des ressources informatiques d'une organisation
18/11/99 → 18/11/01
Project: Research
-
COMPULOG-Net: Network of Excellence in Computational Logic
LE CHARLIER, B. (PI), Jacquet, J.-M. (Researcher) & Schobbens, P. Y. (Researcher)
24/06/96 → 24/06/99
Project: Research
-
ABILE: Abstract Interpretation for Declarative Languages
LE CHARLIER, B. (PI) & Schobbens, P. Y. (Researcher)
1/01/95 → 31/12/98
Project: Research
-
Formalisation of C language interfaces
Ospina Agudelo, G. A. & Le Charlier, B., 2008, Proceedings of the fifth Workshop on Structural Operational Semantics (SOS 2008).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
-
On the description of interoperability mechanisms for programming languages
Ospina Agudelo, G. A. & Le Charlier, B., 2007, Proceedings of the 20th International Conference on Software & Systems Engineering and their Applications (ICSSEA 2007).Research output: Contribution in Book/Catalog/Report/Conference proceeding › 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 proceeding › Chapter
-
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 proceeding › Chapter
-
Distributed audit trail analysis
Mounji, A., Le Charlier, B., Zampunidris, D. & Habra, N., 1 Jan 1995, Proceedings of the Symposium on Network and Distributed System Security, NDSS 1995. Institute of Electrical and Electronics Engineers Inc., p. 102-112 11 p. 390641. (Proceedings of the Symposium on Network and Distributed System Security, NDSS 1995).Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution
Thesis
-
Étude et implémentation du LISP
LE CHARLIER, B. (Author)Cardinael, J.-P. (Jury), 1973Student thesis: Master types › Master in Mathematics
File