Baudouin LE CHARLIER

  • 46 Citations
  • 2 h-Index
1974 …2008

Résultat de recherche par an

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

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

Résultat de recherche

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

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érenceArticle 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érenceChapitre

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

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érenceArticle dans les actes d'une conférence/un colloque

  • Thèse

    Étude et implémentation du LISP

    Author: LE CHARLIER, B., 1973

    Superviseur: Cardinael, J. (Jury)

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

    Fichier