 | 2009 |
|---|
| 7 |       | Pascal Cuoq,
Julien Signoles,
Patrick Baudin,
Richard Bonichon,
Géraud Canet,
Loïc Correnson,
Benjamin Monate,
Virgile Prevosto,
Armand Puccetti:
Experience report: OCaml for an industrial-strength static analysis framework.
ICFP 2009: 281-286 |
| 2005 |
|---|
| 6 | | Virgile Prevosto:
Certified mathematical hierarchies: the FoCal system.
Mathematics, Algorithms, Proofs 2005 |
| 5 | | Virgile Prevosto,
Sylvain Boulmé:
Proof Contexts with Late Binding.
TLCA 2005: 324-338 |
| 4 | | David Delahaye,
Mathieu Jaume,
Virgile Prevosto:
Coq, un outil pour l'enseignement. Une expérience avec les étudiants du DESS Développement de logiciels srs.
Technique et Science Informatiques 24(9): 1139-1160 (2005) |
| 2002 |
|---|
| 3 | | Virgile Prevosto,
Damien Doligez,
Thérèse Hardin:
Algebraic Structures and Dependent Records.
TPHOLs 2002: 298-313 |
| 2 |  | Virgile Prevosto,
Damien Doligez:
Algorithms and Proofs Inheritancey in the FOC Language.
J. Autom. Reasoning 29(3-4): 337-363 (2002) |
| 2001 |
|---|
| 1 | | Virgile Prevosto:
Prototype d'interface utilisateur de la librairie FOC.
JFLA 2001: 59-74 |
