skip to main content

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

Pop, Sebastian (1978-...) ; Irigoin, François ; École nationale supérieure des mines Paris

2006

Voir les exemplaires  et autres localisations

  • Titre:
    La représentation SSA : sémantique, analyses et implémentation dans GCC
  • Auteur: Pop, Sebastian (1978-...)
  • Autre(s) auteur(s): Irigoin, François;
    École nationale supérieure des mines Paris
  • Sujets: Langages de programmation -- Thèses et écrits académiques;
    Informatique -- Aspect cognitif -- Thèses et écrits académiques;
    Interprétation abstraite;
    Sémantique dénotationelle;
    Langage d'assignation statique unique;
    Analyse statique;
    Langage programmation
  • Description: Thèse de doctorat
    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.
    The Static Single Assignment (SSA) language is one of the intermediate representations commonly used in industrial compilers.However, there was little interest from the static program analysis community in this intermediate representation due to the weak formalgrounds of the SSA.This thesis presents a denotational semantics of the SSA language, allowing formal definitions of static analyses on the SSA language based on the classical abstract interpretation framework.  From a practical point of view, we present the implementation of the formally described static analyses on the SSA in an industrial compiler: the GNU Compiler Collection (GCC).
  • Date de publication: 2006
  • Format: 1 vol. (116 p.) ; 30 cm
  • Langue: Anglais
  • Source: Mines ParisTech (catalogue)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré