1999-03-13T23:59:59Z
2022-09-26T12:39:12Z
Transformation de programmes logiques
1991
1991-01-01
La 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é
Programmation logique
Réécriture, Systèmes de (informatique)
Sciences appliquées
Informatique, automatique théorique, systèmes
Programmation logique
Analyse programme
Transformation programme
Réécriture
Pliage
Cd
Logical programming
Program analysis
Cd
Alexandre, Francis
Finance, Jean-Pierre
Nancy 1
Université Henri Poincaré Nancy 1. Faculté des sciences et techniques