Fonctions et généricité dans un langage de programmation parallèle - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1989

Functions and genericity in a parallel programming language

Fonctions et généricité dans un langage de programmation parallèle

Résumé

Fp2 (functional parallel programming) est un langage qui concilie programmation fonctionnelle et programmation parallèle a travers le formalisme des spécifications algébriques et des systèmes de réécriture. Dans le cadre du projet fp2, cette thèse a pour principal objectif de présenter la partie fonctionnelle, incluant la généricité et le traitement des exceptions. La généricité (paramétrisation d'une spécification) est traitée dans la première partie: nous rappelons les principes, étudions la sémantique, formalisons la compilation des opérateurs génériques en restant dans un cadre fonctionnel, et analysons les raccourcis de notation offerts aux utilisateurs. La deuxième partie est consacrée aux exceptions. Elles sont d'abord étudiées d'un point de vue opérationnel, puis nous en donnons une définition précise qui permet de ramener une présentation avec exceptions a une présentation avec sortes ordonnées. Cette définition assure l'existence d'une algèbre initiale et permet en outre de traiter les exceptions avec paramètres génériques. En troisième partie, sont présentées des méthodes de transformation de définitions fonctionnelles récursives en processus parallèles communicants. La généricité est utilisée pour formuler les hypothèses sur les définitions fonctionnelles, et nous montrons de plus comment simuler une pile de récursivité de profondeur arbitraire par des réseaux de processus dont la topologie est fixée statiquement
Fichier principal
Vignette du fichier
Hufflen.Jean-Michel_1989_these.pdf (12.44 Mo) Télécharger le fichier

Dates et versions

tel-00335698 , version 1 (30-10-2008)

Identifiants

  • HAL Id : tel-00335698 , version 1

Citer

Jean-Michel Hufflen. Fonctions et généricité dans un langage de programmation parallèle. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1989. Français. ⟨NNT : ⟩. ⟨tel-00335698⟩

Collections

UGA CNRS TDS-MACS
211 Consultations
108 Téléchargements

Partager

Gmail Facebook X LinkedIn More