Contribution a l'etude du comportement intentionnel des algorithmes : le cas de la recursion primitive

par PIERRE VALARCHER

Thèse de doctorat en Sciences appliquées

Sous la direction de S. GRIGORIEFF.

Soutenue en 1996

à Paris 7 .

    mots clés mots clés


  • Résumé

    Nous etudions dans cette these la maniere dont un algorithme ecrit sur sa sortie en fonction de ce qu'il a deja lu sur ses entrees (ce qu'on appelle comportement intentionnel). Ce travail complete des travaux inities par l. Colson et t. Coquand qui ont etudie certains systemes fonctionnels. Nous etudions le comportement intentionnel des algorithmes definissables dans differents langages: le langage de la recursion primitive (pr), le langage de la recursion avec substitution de parametres (prv) et le langage de la recursion sur les listes (prl). Nous donnons une caracterisation complete de la classe des fonctions qui sont le comportement intentionnel d'algorithmes pr et nous montrons que l'on obtient toutes les fonctions primitives recursives (p. R) unaires croissantes ainsi qu'une large classe de fonctions p. R. Sequentielles comme comportements intentionnels de prv et prl. Nous donnons enfin, differentes inclusions concernant les comportements de ces langages. Ce travail a ete mene en etudiant la semantique denotationnelle de ces differents langages et en implantant les differents algorithmes dans le langage fonctionnel haskell


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 70 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 : TS1996
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.