BOULMÉ Sylvain
Dirección de investigación : Thérèse HARDIN
Spécification d'un environnement dédié à la programmation certifiée de bibliothèques de Calcul Formel
Defensa : 22/12/2000
Fecha de salida : 05/01/2001Publicaciones 1999-2001
-
2001
- S. Boulmé, G. Hamon : “Certifying Synchrony for free”, LPAR 2001 - 8th 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”, tesis, defensa 22/12/2000, dirección de investigación 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)