Proposition d'architecture du moteur de test de conversion

Frédéric Blanqui 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Nous examinons l'architecture actuelle de Coq et discutons différentes solutions pour y ajouter la récriture. Ensuite, dans le but d'implanter un prototype rapidement, sans bouleverser le code de Coq, nous proposons une architecture simple utilisant CiME, une bibliothèque OCaml pour la récriture.
Type de document :
Rapport
[Contrat] A04-R-488 || blanqui04d, 2004, 7 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00099931
Contributeur : Publications Loria <>
Soumis le : mercredi 11 octobre 2006 - 11:44:45
Dernière modification le : jeudi 8 février 2018 - 11:32:01
Document(s) archivé(s) le : mardi 6 avril 2010 - 01:12:15

Identifiants

  • HAL Id : inria-00099931, version 1

Collections

Citation

Frédéric Blanqui. Proposition d'architecture du moteur de test de conversion. [Contrat] A04-R-488 || blanqui04d, 2004, 7 p. 〈inria-00099931〉

Partager

Métriques

Consultations de la notice

101

Téléchargements de fichiers

56