Pliage et récurrence pour le construction de programme - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2000

Pliage et récurrence pour le construction de programme

Francis Alexandre
  • Function : Author
  • PersonId : 830098
Khaled Bsaïes
  • Function : Author

Abstract

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.

Domains

Other [cs.OH]
No file

Dates and versions

inria-00099326 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00099326 , version 1

Cite

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

Share

Gmail Facebook Twitter LinkedIn More