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.
Type de document :
Rapport
[Interne] 99-R-253 || alexandre99b, 1999, 14 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00107840
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:11:28
Dernière modification le : mardi 24 avril 2018 - 13:36:29
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 13:08:54

Fichier

Identifiants

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

Partager

Métriques

Consultations de la notice

71

Téléchargements de fichiers

39