Baudouin LE CHARLIER

  • 46 Citations
  • 2 h-Index
1974 …2008

Research output per year

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

Projects

Research Output

  • 46 Citations
  • 2 h-Index
  • 5 Conference contribution
  • 3 Chapter

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 proceedingConference 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 proceedingChapter

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

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 proceedingConference contribution

  • Thesis

    Étude et implémentation du LISP

    Author: LE CHARLIER, B., 1973

    Supervisor: Cardinael, J. (Jury)

    Student thesis: Master typesMaster in Mathematics

    File