REPRESENTATION INTENTIONNELLE D'ALGORITHMES DANS LES SYSTEMES FONCTIONNELS : UNE ETUDE DE CAS / LOIC COLSON ; SOUS LA DIRECTION DE GERARD HUET

Date : 1991

Editeur / Publisher : [S.l.] : [s.n.] , 1991

Format : 79 P.

Type : Livre / Book

Langue / Language : français / French

Colson, Loïc (Auteur / author)

Huet, Gérard (1947-.... ; informaticien) (Directeur de thèse / thesis advisor)

Université Paris Diderot - Paris 7 (1970-2019) (Organisme de soutenance / degree-grantor)

Résumé / Abstract : 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.