Une implementation de ml en ml

par ASCANDER SUAREZ

Thèse de doctorat en Sciences appliquées

Sous la direction de G. COUSINEAU.

Soutenue en 1993

à Paris 7 .

    mots clés mots clés


  • Résumé

    Les langages de programmation fonctionnels ont recu a la fois l'heritage informatique des langages de programmation et l'heritage de la logique mathematique. Le langage ml, qui est l'objet de ce travail est un langage fonctionnel avec une syntaxe tres proche de celle du langage mathematique et possede un systeme de types tres evolue. Ce travail presente les algorithmes de typage et compilation utilises dans l'implementation du langage caml. Se presentent des extensions au systeme de types de ml, des algorithmes de compilation bases sur la machine abstraite categorique cam et des algorithmes de compilation de l'appel par filtrage conduisant a l'obtention de code machine optimal pour cette structure de controle du langage


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : (181 P.)
  • Annexes : 116 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : D.3-SUA
  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • Accessible pour le PEB
  • Cote : TS1993
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : SUAREZ i
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.