Representation intentionnelle d'algorithmes dans les systemes fonctionnels : une etude de cas

par Loïc Colson

Thèse de doctorat en Sciences appliquées

Sous la direction de GERARD HUET.

Soutenue en 1991

à Paris 7 .

    mots clés mots clés


  • Résumé

    On etudie la programmabilite de l'algorithme naturel calculant le minimum de deux entiers par leur decrementation alternative dans divers systemes fonctionnels : la recursion primitive usuelle, la recursion primitive avec parametres fonctionnels (egalement appelee systeme t de godel), le lambda-calcul polymorphe du second ordre et la recursion primitive sur les listes. Le resultat principal montre que cet algorithme n'est pas programmable avec la complexite attendue dans le langage de la recursion primitive, alors qu'il l'est dans le systeme t. La methode de preuve est basee sur la semantique denotationelle et sur la notion d'index de sequentialite.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 79 P.
  • Annexes : 31 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1991
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.