Relatore : Thérèse HARDIN

Spécification d'un environnement dédié à la programmation certifiée de bibliothèques de Calcul Formel

Pubblicazioni 1999-2001

• 2001
  • S. Boulmé, G. Hamon : “Certifying Synchrony for free”, LPAR 2001 - 8^th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, vol. 2250, Lecture Notes in Computer Science, La Havana, Cuba, pp. 495-506, (Springer-Verlag) (2001)
  • S. Boulmé, Th. Hardin, R. Rioboo : “Some Hints for polynomials in the Foc project”, Calculemus 2001, Siena, Italy, pp. 142-154 (2001)
• 2000
  • S. Boulmé : “Spécification d’un environnement dédié à la programmation certifiée de bibliothèques de Calcul Formel”, these, difesa 12/22/2000, relatore Hardin, Thérèse (2000)
  • S. Boulmé, Th. Hardin, R. Rioboo : “Polymorphic Data Types, Objects, Modules and Functors: is it too.much.?”, (2000)
  • S. Boulmé : “Specifying in Coq inheritance used in Computer Algebra Libraries”, (2000)
  • S. Boulmé : “Opérateurs de raffinement sur les structures algébriques”, Journées Francophones des Langages Applicatifs, Mont Saint-Michel, France, (INRIA) (2000)
• 1999
  • S. Boulmé, Th. Hardin, D. Hirschkoff, V. Ménissier‑Morain, R. Rioboo : “On the way to certify computer algebra systems”, Calculemus workshop of FLOC'99, vol. 23 (3), Electronic Notes in Theoretical Computer Science, Trento, Italy, pp. 370-385, (Elsevier) (1999)
  • S. Boulmé, Th. Hardin, R. Rioboo : “Modules, Objets et Calcul Formel”, (1999)
  • S. Boulmé, Th. Hardin, R. Rioboo : “Modules Objets et Calcul Formel”, JFLA'99 - Journées francophone des langages applicatifs, Morzine-Avoriaz, France, (Inria) (1999)