Université Lille1 - Sciences et Technologies Contribution à l'étude de la programmation logique par les graphes orientés pondérés Contribution to the study of logic programming using the weighted graphs 005.115 Récursivité, Théorie de la Graphes orientés Réécriture, Systèmes de (informatique) Programmation logique Text Electronic Thesis or Dissertation fr 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. application/pdf 1 : 1 Mo https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1988/50376-1988-173.pdf Lebègue Patrick 1900-01-01 033942943 1988-01-01 Informatique Université Lille1 - Sciences et Technologies 026404184 Doctorat non oui Dauchet Max 110327969 ddc:000 ASCII PDF 9999