Synthèse de programmes à partir de spécifications

par Hervé Perdrix

Thèse de doctorat en Informatique

Sous la direction de Yves Kodratoff.

Soutenue en 1985

à Paris 11 , en partenariat avec Université de Paris-Sud. Faculté des Sciences d'Orsay (Essonne) (autre partenaire) .

Le président du jury était Marie-Claude Gaudel.

Le jury était composé de Yves Kodratoff, Marie-Claude Gaudel, François Michel Clément, Jean-Pierre Jouannaud.

Les rapporteurs étaient François Michel Clément.


  • Résumé

    La synthèse de programmes à partir de spécifications consiste à construire de façon systématique un algorithme à partir d’une spécification formelle. Dans notre approche, la spécification initiale et l’algorithme résultant sont exprimés sous forme de règles de réécriture, la synthèse est effectuée par une complétion partielle à la Knuth-Bendix dirigée par des stratégies. Les principales caractéristiques de notre méthode sont : - décomposition automatique d’un problème en fragments de programme (correspondant aux différentes cas de base des données). - décompositions automatique d’un problème en sous-problèmes. - correction du programme généré vis-à-vis de sa spécification.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (131 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliographie p. 123-131

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 0g ORSAY(1985)384
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.