Modelisation des operateurs d'arite variable en logique combinatoire. Application au formalisme fonctionnel

par VERONIQUE JAY

Thèse de doctorat en Sciences et techniques communes

Sous la direction de PATRICK BELLOT.

Soutenue en 1989

à Paris 6 .

    mots clés mots clés


  • Résumé

    Dans les langages fonctionnels, les operateurs pouvant admettre un nombre variable d'arguments comme l'addition n-aire, sont le plus souvent implantes au moyen de codage ou de structure sur les arguments. Pour modeliser ces operateurs, nous proposons, pour un ensemble etendu de termes combinatoires permettant l'usage de sequences de longueur indeterminee, un algorithme d'abstraction de sequence fonde sur les combinateurs recurrents et les iterateurs de church. Nous montrons comment, dans un langage fonctionnel comme sasl implante a l'aide de combinateurs, cet algorithme permet d'utiliser des fonctions d'arite variable pour definir des familles de programmes


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 31 REF

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : F-JAY
  • Bibliothèque : Université Pierre et Marie Curie. Bibliothèque Universitaire Pierre et Marie Curie . Section Mathématiques-Informatique Recherche.
  • Non disponible pour le PEB
  • Cote : T Paris 6 1989 608
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1989
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.