Skip to Main content Skip to Navigation
Reports

Stratégies de dérivations de programmes logiques

Francis Alexandre 1 Khaled Bsaïes
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Cet article traite de la construction de programmes logiques (programmes en clauses de Horn) et plus particulièrement du problème des eurekas. Dans le processus de transformation de programmes, il est souvent nécessaire d'utiliser certaines propriétés des programmes. Ces propriétés sont appelées eurkas car elle ne sont pas données a priori, ce sont des propriétés intrinsèques aux programmes et c'est l'utilisateur qui doit les découvrir. Le problème est donc crucial, car d'une part sans ces eurekas il n'est pas possible de poursuivre la transformation, d'autre part l'invention de tels eurekas, qui repose sur l'intuition et l'expertise de l'utilisateur, est difficile à automatiser. La technique présentée ici est une tentative d'automatisation de la génération de ces eurekas. Cette technique doit etre considérée comme une contribution à l'automatisation dans le domaine de la construction de programmes par transformation, elle vient donc compléter les nombreuses tactiques existant déjà dans ce domaine.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00107840
Contributor : Publications Loria <>
Submitted on : Thursday, October 19, 2006 - 9:11:28 AM
Last modification on : Friday, February 26, 2021 - 3:28:07 PM
Long-term archiving on: : Friday, November 25, 2016 - 1:08:54 PM

Identifiers

  • HAL Id : inria-00107840, version 1

Collections

Citation

Francis Alexandre, Khaled Bsaïes. Stratégies de dérivations de programmes logiques. [Interne] 99-R-253 || alexandre99b, 1999, 14 p. ⟨inria-00107840⟩

Share

Metrics

Record views

398

Files downloads

105