Transformation de programmes logiques - Université de Lorraine Access content directly
Theses Year : 1991

Logic Programs Transformation

Transformation de programmes logiques

Francis Alexandre
  • Function : Author
  • PersonId : 787639
  • IdRef : 191322679

Abstract

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é
No file

Dates and versions

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

Identifiers

  • HAL Id : tel-01747886 , version 1

Intranet access

Cite

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

Share

Gmail Facebook X LinkedIn More