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

Proposition d'architecture du moteur de test de conversion

Frédéric Blanqui
Constraints, automatic deduction and software properties proofs

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

Publications Loria  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00099931

Soumis le : mercredi 11 octobre 2006-11:44:45

Dernière modification le : jeudi 15 février 2024-03:31:15

Archivage à long terme le : mardi 6 avril 2010-01:12:15

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-RENNES1 CNRS INRIA IRISA UNIV-LORRAINE INRIA2 LORIA LARA UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
75 Consultations
46 Téléchargements

Partager

More