Systemes structures d'equations recurrentes : mise en uvre dans le langage alpha et applications

par Florent Dupont de Dinechin

Thèse de doctorat en Informatique

Sous la direction de Patrice Quinton.

Soutenue en 1997

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Le formalisme des equations recurrentes affines est bien adapte a la synthese de materiel et de logiciel paralleles. Le langage alpha est derive de ce formalisme, et l'environnement associe procure des outils automatiques pour l'analyse et la transformation de programmes alpha. Ainsi une specification algorithmique de haut niveau peut etre transformee, par raffinements successifs, en une implementation fonctionnellement equivalente. Cette these presente des extensions au formalisme qui y apportent les avantages bien connus de la programmation structuree. Ces extensions sont de deux types : d'une part on definit des systemes d'equations parametres par un nombre quelconque de parametres de taille, d'autre part on introduit un nouvel operateur qui permet de construire des hierarchies de tels systemes parametres. La syntaxe et la semantique de ces deux extensions sont donnees dans le cadre de alpha, et validees par une implementation dans l'environnement. On montre en particulier que ces extensions n'enlevent rien a la puissance du formalisme en termes de raffinement de programmes. Ces extensions du langage alpha rendent egalement possibles de nouveaux outils de l'environnement. Deux applications en sont decrites en detail : un outil d'analyse statique de programmes structures dans un but de detection d'erreurs, et une transformation de programmes, pour la synthese d'architectures au niveau du bit a partir d'une specification sur des types de donnees abstraits.

  • Titre traduit

    Structured systems of affine recurrence equations in the alpha language, and applications


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 135 P.
  • Annexes : 83 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1997/10
  • Bibliothèque : Institut national des sciences appliquées (Villeurbanne, Rhône). Service Commun de la Documentation Doc'INSA.
  • Non disponible pour le PEB
  • Bibliothèque : Centre de recherche INRIA Rennes - Bretagne Atlantique. Service IST.
  • Accessible pour le PEB
  • Cote : C.1 - DUP
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.