HAL Id: tel-00550829 https://tel.archives-ouvertes.fr/tel-00550829 Submitted on

HAL Id: tel-00550829 https://tel.archives-ouvertes.fr/tel-00550829 Submitted on 31 Dec 2010 HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés. Program Analysis and Transformation: From the Polytope Model to Formal Languages Albert Cohen To cite this version: Albert Cohen. Program Analysis and Transformation: From the Polytope Model to Formal Languages. Networking and Internet Architecture [cs.NI]. Université de Versailles-Saint Quentin en Yvelines, 1999. English. <tel-00550829> TH  ESE de DOCTORA T de l'UNIVERSIT  E de VERSAILLES Sp  ecialit  e : Informatique pr  esen t  ee par Alb ert COHEN p our obtenir le titre de DOCTEUR de l'UNIVERSIT  E de VERSAILLES Sujet de la th  ese : Analyse et transformation de programmes : du mo d  ele p oly  edrique aux langages formels Program Analysis and T ransformation: F rom the P olytop e Mo del to F ormal Languages Souten ue le  d  ecem bre  dev an t le jury comp os  e de : Jean Berstel Rapp orteur Luc Boug  e Examinateur Jean-F ran cois Collard Directeur P aul Fea utrier Directeur William Jalby Pr  esiden t P atrice Quinton Rapp orteur Bernard Va uquelin Rapp orteur Th  ese pr  epar  ee  a l'Univ ersit  e de V ersailles Sain t-Quen tin-en-Yv elines au sein du lab oratoire PRi SM (P arall  elisme, R  eseaux, Syst  emes et Mo d  elisation) Remerciemen ts Cette th  ese a  et  e pr  epar  ee au sein du lab oratoire PRiSM (P arall  elisme, R  e- seaux, Syst  emes et Mo d  elisation) de l'Univ ersit  e de V ersailles Sain t-Quen tin- en-Yv elines, en tre septem bre   et d  ecem bre  , sous la direction de Jean- F ran cois Collard et P aul F eautrier. Je v oudrais tout d'ab ord m'adresser  a Jean-F ran cois Collard (c harg  e de rec herc hes au CNRS) qui a encadr  e cette th  ese, et a v ec qui j'ai eu la c hance de faire mes premiers pas dans la rec herc he scien ti que. Ses conseils, sa dis- p onibilit  e extraordinaire, son dynamisme en toutes circonstances, et ses id  ees  eclair  ees on t fait b eaucoup plus qu'en tretenir ma motiv ation. Je remercie vi- v emen t P aul F eautrier (professeur au PRiSM) p our sa con ance et p our son in t  er ^ et  a suivre mes r  esultats.  A tra v ers son exp  erience, il m'a fait d  ecouvrir  a quel p oin t la rec herc he est en thousiasman te, au del a des dicult  es et des succ  es p onctuels. Je suis tr  es reconnaissan t en v ers tous les mem bres de mon Jury ; notam- men t en v ers Jean Berstel (professeur  a l'Univ ersit  e de Marne-la-V all  ee), P a- trice Quin ton (professeur  a l'IRISA, Univ ersit  e de Rennes) et Bernard V au- quelin (professeur au LaBRI, Univ ersit  e de Bordeaux), p our l'in t  er ^ et et la curiosit  e qu'ils on t p ort  e  a l'  egard de mes tra v aux et p our le soin a v ec lequel ils on t relu cette th  ese, y compris lorsque la probl  ematique n'appartenait pas  a leurs domaines de rec herc hes. Un grand merci  a Luc Boug  e (professeur au LIP ,  Ecole Normale Sup  erieure de Ly on) p our sa participation  a ce Jury et p our ses suggestions et commen taires  eclair  es. Merci en n  a William Jalb y (professeur au PRiSM) p our a v oir accept  e de pr  esider ce Jury et p our m'a v oir souv en t conseill  e a v ec b onne h umeur. J'exprime  egalemen t toute ma gratitude  a Guy-Ren  e P errin p our ses en- couragemen ts et p our l'acc  es  a ( ( sa ) ) mac hine parall  ele,  a Olivier Carton p our son aide pr  ecieuse sur un domaine tr  es exigean t,  a Denis Barthou, Iv an Djelic et Vincen t Lefeb vre p our leur collab oration essen tielle aux r  esultats de cette th  ese. Je me souviens aussi de passionnan tes discussions a v ec Pierre Boulet, Philipp e Clauss, Christine Eisen b eis et Sanja y Ra jopadh y e ; et je n'oublie pas non plus l'aide ecace des ing  enieurs et des secr  etaires du lab oratoire. Je re- p ense aux b ons momen ts pass  es a v ec les tous les mem bres du ( ( monast  ere ) ) et a v ec les compagnons de route du PRiSM qui son t dev en us mes amis. Merci en n  a ma famille p our son soutien constan t et inconditionnel, a v ec une p ens  ee particuli  ere p our mes paren ts et p our ma femme Isab elle. Dedicated to a Brave GNU World http://www.gnu.org Cop yrigh t c Alb ert Cohen  . V erbatim cop ying and distribution of this do cumen t is p ermitted in an y medium, pro vided this notice is preserv ed. La copie et la distribution de copies exactes de ce do cumen t son t autoris  ees, mais aucune mo di cation n'est p ermise. This do cumen t w as t yp eset using L A T E X and the french pac k age. Graphics w ere designed using x g, gnuplot and the GasT E X pac k age. Albert.Cohen@prism.uvsq .fr T ABLE OF CONTENTS  T able of Con ten ts List of Figures  List of Algorithms Pr  esen tation en fran cais  Grandes lignes de la th  ese, en fran cais. Dissertation summary , in F renc h.  In tro duction  . Program Analysis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  . Program T ransformations for P arallelization . . . . . . . . . . . . . . . . . . . . .  . Thesis Ov erview . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 0  F ramew ork  . Going Instancewise . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  . Program Mo del . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  .. Con trol Structures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  .. Data Structures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  . Abstract Mo del . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .  .. Naming Statemen t Instances . . . . . . . . . . . . . . . . . . . . . . . . .  .. Sequen tial Execution Order . . . . . uploads/Litterature/ phd-pdf.pdf

Tags
littérature program nition figure relation statemen
Documents similaires
  • 19
  • 0
  • 0
Afficher les détails des licences
Licence et utilisation
Gratuit pour un usage personnel Attribution requise
Partager