Proposition darchitecture du moteur de test de conversionReportar como inadecuado




Proposition darchitecture du moteur de test de conversion - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

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.

Mots-clés : equality test averroes coq rewriting réécriture test d-égalité





Autor: Frédéric Blanqui -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados