Compaction des langages fonctionnels

par MARC POUZET

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-Jacques Lévy.

Soutenue en 1994

à Paris 7 .

    mots clés mots clés


  • Résumé

    La compaction des programme est la fabrication par le compilateur de paquets d'instructions elementaires executes en parallele. Les architectures concernees sont les architectures paralleles vliw (very long instruction word) ou super-scalaires. Jusqu'a present, la compaction etait appliquee aux langages imperatifs. Dans cette these, la compaction est etendue aux langages fonctionnels. Elle est formellement decrite par des regles de transformation de programmes en semantique naturelle. Le langage fonctionnel utilise est d'abord decrit puis on definit une semantique operationnelle de son execution sur une machine parallele de type vliw. Une equivalence dite structurelle mettant en relation les programmes ayant les memes dependances est donnee ainsi qu'une procedure de decision partielle. Suit la description de la compaction globale (parallelisme exploite dans les sections sans recursions) puis celle du pipeline logiciel (compaction etendue aux programmes quelconques). Ainsi, le principe du pipeline logiciel habituellement applique aux boucles est etendu aux fonctions recursives. Il est obtenu par la compaction globale et le depliage controle des fonctions et fournit un nouveau programme dont la compaction ne peut plus etre amelioree par depliage. Diverses methodes permettant de l'obtenir sont proposees.

  • Titre traduit

    Compaction of functional languages


  • Pas de résumé disponible.

Autre version

Cette thèse a donné lieu à une publication en 1995 par INRIA à Le Chesnay

Compaction des langages fonctionnels


Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 171 P.
  • Notes : CONFIDENTIEL
  • Annexes : 101 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris Diderot - Paris 7. Service commun de la documentation. Bibliothèque Universitaire des Grands Moulins.
  • PEB soumis à condition
  • Cote : TS (1994) 327
  • Bibliothèque : Institut national des sciences appliquées (Villeurbanne, Rhône). Service Commun de la Documentation Doc'INSA.
  • Non disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.
Cette thèse a donné lieu à 1 publication .

Consulter en bibliothèque

Cette thèse a donné lieu à une publication en 1995 par INRIA à Le Chesnay

Informations

  • Sous le titre : Compaction des langages fonctionnels
  • Détails : 175 p.
  • Notes : Résumé en français et en anglais.
  • ISBN : 2-7261-0874-1
  • Annexes : Bibliogr. p. 167-175
La version de soutenance de cette thèse existe aussi sous forme papier.

Où se trouve cette thèse ?

Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.