Transformation de programmes logiques - Université de Lorraine Accéder directement au contenu
Thèse Année : 1991

Logic Programs Transformation

Transformation de programmes logiques

Francis Alexandre
  • Fonction : Auteur
  • PersonId : 787639
  • IdRef : 191322679

Résumé

Not available
aLa transformation de programmes est reconnue comme un moyen puissant de construire des programmes corrects et efficaces. La démarche générale consiste à appliquer pas à pas des transformations en vue d'obtenir un programme plus efficace. Dans ce cadre, le point de départ est une spécification écrite en clauses de horn (programme défini), les transformations de base sont le dépliage, le pliage et l'introduction de nouveaux prédicats. Les compositions des transformations de base sont appelées des tactiques. L'invention de tactiques produisant des programmes plus efficaces est étudiée. Ces tactiques sont basées sur une analyse statique des programmes, on considère des schémas de programmes. Les tactiques présentées font appel à la généralisation et peuvent être automatisées. Une transformation de programme défini en système de réécriture est définie. Les programmes transformes sont caractérises par des modes entrée-sortie. La correction de la transformation est prouvée. L'approche de ce travail est aussi expérimentale puisqu'un système de transformation appelé SPES a été développé
Fichier non déposé

Dates et versions

tel-01747886 , version 1 (29-03-2018)

Identifiants

  • HAL Id : tel-01747886 , version 1

Accès intranet

Citer

Francis Alexandre. Transformation de programmes logiques. Autre. Université Henri Poincaré - Nancy 1, 1991. Français. ⟨NNT : 1991NAN10429⟩. ⟨tel-01747886⟩
7 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More