Titre original :

Contribution à l'étude de la programmation logique par les graphes orientés pondérés

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

Résumé en langue originale

L'étude de la complexité de programmes logiques ne peut pas se fonder sur des critères uniques syntaxiques. C'est donc sur des critères sémantiques liés à la notion d'attributs, de programmes dirigés par les données que l'approche se base pour énoncer une hiérarchie syntaxique de programmes pour lesquels il est possible de décider de l'arrêt et de la complexité en temps d'exécution ainsi qu'en espace. Des méthodes de calcul automatique pour une classe restreinte de programmes et semi-automatique pour une classe beaucoup plus large sont énoncées.

  • Directeur(s) de thèse : Dauchet, Max

AUTEUR

  • Lebègue, Patrick
Droits d'auteur : Ce document est protégé en vertu du Code de la Propriété Intellectuelle.
Accès libre