Baudouin LE CHARLIER

  • 28 Citations
  • 1 h-Index
1974 …2002

Research output per year

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

Résultat de recherche

  • 28 Citations
  • 1 h-Index
  • 3 Article dans les actes d'une conférence/un colloque
  • 2 Chapitre
Filtrer
Chapitre
1998

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

1997

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