Pliage et récurrence pour le construction de programme

Francis Alexandre 1 Khaled Bsaïes
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Dans le cadre de la construction de programmes par transformation ou par synthese, le probleme de la preuve des formules implicatives est fondamental. Les principes de recurrence jouent un role essentiel et central dans les prouveurs. Deux approches sont generalement distinguees: la premiere consiste a utiliser explicitement des principes de recurrence, la seconde approche consiste a appliquer des strategies basees sur des regles de pliages et depliages. Dans ce papier nous effectuons une comparaison entre ces deux approches.
Type de document :
Rapport
[Interne] A00-R-382 || alexandre00e, 2000, 10 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00099326
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:52:50
Dernière modification le : mardi 24 avril 2018 - 13:34:47

Identifiants

  • HAL Id : inria-00099326, version 1

Collections

Citation

Francis Alexandre, Khaled Bsaïes. Pliage et récurrence pour le construction de programme. [Interne] A00-R-382 || alexandre00e, 2000, 10 p. 〈inria-00099326〉

Partager

Métriques

Consultations de la notice

76