• 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.