Analyse de complexite des algorithmes : verification et inference

par VINCENT DORNIC

Thèse de doctorat en Sciences appliquées

Sous la direction de Paul Feautrier.

Soutenue en 1992

à Paris 6 .

mots clés

Résumé

L'analyse automatique de complexite est depuis toujours un theme difficile dont l'interet n'a fait que s'accroitre avec l'arrivee des machines paralleles. En effet, le parallelisme n'est utile a une execution rapide que lorsque le temps de calcul de chaque tache est significatif. L'arret des programmes etant un probleme indecidable, l'analyse de complexite souffre de la meme limitation. De plus, l'expression des complexites necessite le choix d'une echelle de temps et d'une mesure sur les donnees. Les systemes anterieurs eludaient ces problemes par restriction du langage de programmation. Ces methodes sont inadaptees a la detection du parallelisme utile. Nous presentons trois systemes d'analyse utilisant le cadre du systeme d'effets. Introduit pour le langage fx, ce cadre de typage, general et flexible, permet d'associer des informations variees aux expressions des programmes (e. G. Effets de bords dans fx et temps d'execution dans cette these). Nos systemes sont conceptuellement nouveaux; le langage de programmation est puissant et nos systemes sont prouves corrects. Les informations obtenues constituent un support adequat a la detection du parallelisme utile sans intervention externe

Titre traduit

Complexity analysis of algorithms: verification and inference

Pas de résumé disponible.