Modeles de calculs multiparadigmes fondes sur la reecriture

par MARIA ISABEL FERNANDEZ ROMERO

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-Pierre Jouannaud.

Soutenue en 1993

à Paris 11 .

    mots clés mots clés


  • Résumé

    Cette these aborde certains aspects operationnels fondamentaux des langages fonctionnels et logiques dont le mecanisme d'evaluation est fonde sur la reecriture. Nous etudions deux types de combinaisons de langages de programmation, dont les constituants sont soit des langages de programmation dont le mecanisme d'evaluation est uniquement base sur la simplification, soit des langages de programmation logique et des langages de resolution de contraintes. Le second type est bien connu grace aux travaux de a. Colmerauer, j. Jaffar, et j. -l. Lassez entre autres. Nous en etudions certains aspects originaux, ou le langage de contraintes est purement equationnel et interprete dans un quotient de l'algebre de herbrand. Le premier type est apparu tres recemment, a travers les travaux de v. Brazu-tannen, j. Gallier, f. Barbanera, j. -p. Jouanneaud, et m. Okada. Notre rapport dans ce domaine a consiste pour l'essentiel, d'une part a generaliser aux differents calculs du cube de barendregt des approches au depart restreintes au lambda-calcul type polymorphe, d'autre part a etudier l'impact de l'inference de types sur ce type de combinaison

  • Titre traduit

    Multiparadigm computational models based on rewriting


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 258 P.
  • Annexes : 151 REF.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paris-Saclay. DIBISO. BU Orsay.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-011542

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1993-FER
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.