Vers une correspondance entre les paradigmes fonctionnels et imperatifs

par BARBARA MOURA

Thèse de doctorat en Informatique

Sous la direction de Charles Consel.

Soutenue en 1997

à Rennes 1 .

    mots clés mots clés


  • Résumé

    On considere, d'une facon generale, que des programmes ecrits dans des langages differents requierent des traitements par des outils differents. Ainsi, des langages aussi eloignes que les langages fonctionnels et imperatifs necessitent des analyses et des transformations de programmes distinctes. Nos travaux presentent une approche d'analyses et de transformations de programmes imperatifs utilisant des outils fonctionnels deja existants. En particulier, pour obtenir de bons resultats a partir d'outils fonctionnels, nous avons besoin de raffiner le modele classique de memoire. Ce travail est valide par l'analyse et la transformation de programmes ecrits dans un sous-ensemble realiste du langage c (incluant les affectations, les pointeurs et les structures de donnees). L'analyse et la transformation utilisent un evaluateur partiel fonctionnel pur pre-existant. Notre these est que les resultats de l'application de ces techniques fonctionnelles a des programmes imperatifs fonctionnalises sont comparables a ceux que les techniques imperatives correspondantes auraient produits. Nous definissons notre approche formellement et prouvons qu'elle preserve la semantique des programmes imperatifs


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : N.P. P.

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/49
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.