Projets par an
Empreinte digitale
Passez en revue plus en détail les thèmes de recherche où Baudouin LE CHARLIER est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
- 1 Profils similaires
Projets
- 4 Terminé
-
Asax: Analyse séquentielle élaborée sous unix
LE CHARLIER, B. & LETOCART, V.
1/09/00 → 1/09/02
Projet: Recherche
-
Survauto: Surveillance automatisée et en temps réel des ressources informatiques d'une organisation
18/11/99 → 18/11/01
Projet: Recherche
-
COMPULOG-Net: Réseau d'excellence en logique computationnelle
LE CHARLIER, B. (Responsable du Projet), Jacquet, J.-M. (Chercheur) & Schobbens, P. Y. (Chercheur)
24/06/96 → 24/06/99
Projet: Recherche
-
ABILE: Interprétation abstraite pour les langages de programmation déclaratifs
LE CHARLIER, B. (Responsable du Projet) & Schobbens, P. Y. (Chercheur)
1/01/95 → 31/12/98
Projet: Recherche
-
Formalisation of C language interfaces
Ospina Agudelo, G. A. & Le Charlier, B., 2008, Proceedings of the fifth Workshop on Structural Operational Semantics (SOS 2008).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
-
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).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › 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érence › Chapitre
-
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érence › Chapitre
-
Distributed audit trail analysis
Mounji, A., Le Charlier, B., Zampunidris, D. & Habra, N., 1 janv. 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).Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque
Thèse
-
Étude et implémentation du LISP
LE CHARLIER, B. (Auteur)Cardinael, J.-P. (Jury), 1973Student thesis: Master types › Master en sciences mathématiques
Fichier