Prototype dextension du système CoqReportar como inadecuado




Prototype dextension du système Coq - 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 décrivons comment obtenir, installer et utiliser le prototype de Coq avec réécriture basé sur la bibliothèque CiME. Nous donnons ensuite quelques détails sur son implantation: l-architecture de CiME d-une part, les modifications et nouveaux modules apportés à Coq d-autre part.

Mots-clés : coq rewriting réécriture prototype





Autor: Frédéric Blanqui -

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



DESCARGAR PDF




Documentos relacionados