Proposition d'architecture du moteur de test de conversion - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports (Contract/Project Report) Year : 2004

Proposition d'architecture du moteur de test de conversion

Abstract

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.

Domains

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

Dates and versions

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

Identifiers

  • HAL Id : inria-00099931 , version 1

Cite

Frédéric Blanqui. Proposition d'architecture du moteur de test de conversion. [Contrat] A04-R-488 || blanqui04d, 2004, 7 p. ⟨inria-00099931⟩
55 View
33 Download

Share

Gmail Facebook X LinkedIn More