Proposition d'architecture du moteur de test de conversion - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport Contrat/Projet) Année : 2004

Proposition d'architecture du moteur de test de conversion

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
fourniture2.pdf (159.6 Ko) Télécharger le fichier

Dates et versions

inria-00099931 , version 1 (11-10-2006)

Identifiants

  • HAL Id : inria-00099931 , version 1

Citer

Frédéric Blanqui. Proposition d'architecture du moteur de test de conversion. [Contrat] A04-R-488 || blanqui04d, 2004, 7 p. ⟨inria-00099931⟩
60 Consultations
37 Téléchargements

Partager

Gmail Facebook X LinkedIn More