Skip to Main content Skip to Navigation
Reports

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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00099326
Contributor : Publications Loria <>
Submitted on : Tuesday, September 26, 2006 - 8:52:50 AM
Last modification on : Friday, February 26, 2021 - 3:28:08 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

88