skip to main content

Compilation des langages fonctionnels dans les combinateurs catégoriques : application au langage ML

Mauny, Michel ; Université Paris Diderot - Paris 7

S.l. : s.n., 1985

Voir les exemplaires

  • Titre:
    Compilation des langages fonctionnels dans les combinateurs catégoriques : application au langage ML
  • Auteur: Mauny, Michel
  • Autre(s) auteur(s): Université Paris Diderot - Paris 7
  • Sujets: Lambda-calcul -- Thèses et écrits académiques;
    Réécriture, Systèmes de (informatique) -- Thèses et écrits académiques;
    Langages de programmation fonctionnelle -- Thèses et écrits académiques;
    LANGAGE ML;
    COMPILATION;
    H-LOGICIEL
  • Description: Thèse de 3e cycle
    Cette thèse décrit une technique de compilation des langages fonctionnels qui repose sur une machine abstraite d'un type nouveau, appelée Machine Abstraite Catégorique, définie en collaboration avec G. Cousineau et P-L. Curien. Le code de cette machine est principalement constitué des termes du 1er ordre construits à partir des combinateurs catégoriques de Berry et Curien. Le processus de compilation peut donc être en partie assimilé au processus de traduction du lambda-calcul dans les termes catégoriques. Cette caractéristique permet de faire lde façon simple la preuve de correction des différents types de compilation proposés. Ces preuves de correction constituent l'essentiel de cette thèse. Des spécifications d'appel par valeur et d'évaluation paresseuse dans le lambda-calcul ainsi que dans le calcul catégorique sont données, utilisant le formalisme de Plotkin : des systèmes d'inférence donnent à chaque fois la sémantique opérationnelle du langage considéré. On décrit formellement la compilation dans la CAM du noyau purement fonctionnel du langage ML soumis tant à un appel par valeur qu'à une évaluation paresseuse. De plus, la CAM est montrée aisément extensible par l'adjonction d'un mécanisme de gestion d'échappements
  • Éditeur: S.l. : s.n.
  • Date de publication: 1985
  • Format: 1 vol. (132 p.) ; 30 cm
  • Langue: Français
  • Source: Mines ParisTech (catalogue)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré