• Langue : Français
• Discipline : Informatique
• Identifiant : Inconnu
• Type de thèse : Doctorat
• Date de soutenance : 01/01/1994

Résumé en langue originale

Les operations classiques de transformations de programmes logiques (pliage, depliage, ...) Preservent la semantique des programmes au sens du plus petit modele de herbrand et au sens de l'ensemble des substitutions-reponses. Ces transformations ne peuvent pas etre appliquees directement a des programmes ecrits en prolog complet (avec des effets de bord) car elles ne preservent pas l'equivalence operationnelle des programmes. Nous avons donc defini une equivalence operationnelle associee au comportement observable des programmes. Cette equivalence nous permet de traiter les programmes reels. Nous avons ensuite etudie les transformations preservant une telle equivalence. Puis notre travail s'est divise en deux parties: l'optimisation de programmes prolog complet, en les manipulant par nos transformations et en utilisant des informations sur les programmes provenant d'un analyseur statique; l'utilisation des transformations de programmes comme outils de preuve pour la validation de meta-interpreteurs et l'obtention de resultats d'indecidabilite pour des classes de petits programmes.