La La représentation SSA : sémantique, analyses et implémentation dans GCC

par Sebastian Pop

Thèse de doctorat en Informatique

Sous la direction de François Irigoin.

Soutenue en 2006

à Paris, ENMP .

  • Titre traduit

    ˜The œSSA Representation Framework: Semantics, Analyses and GCC Implementation


  • Pas de résumé disponible.


  • Résumé

    Le langage d'assignation statique unique, SSA, est l'une des représentations intermédiaires les plus communément utilisées dans les compilateurs industriels.  Cependant l'intérêt de la communauté d'analyse statique de programmes est minime, un fait dû aux faibles fondations formelles du langage SSA. Cette thèse présente une sémantique dénotationelle du langage SSA, permettant des définitions formelles des analyses statiques du langage SSA en se basant sur les méthodes classiques de l'interprétation abstraite.  D'un point de vue pratique, cette thèse présente l'implémentation des analyseurs statiques définis formellement dans un compilateur industriel, la Collection de Compilateurs GNU, GCC.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (116 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. 98 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Mines ParisTech. Bibliothèque.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.