Analyses semantiques de congruence

par Philippe Granger

Thèse de doctorat en Sciences appliquées

Sous la direction de Patrick Cousot.

Soutenue en 1991

à Palaiseau, Ecole polytechnique .


  • Résumé

    L'analyse semantique des programmes consiste a determiner automatiquement a la compilation des proprietes qu'ils verifient lors de toute execution. Cette these est plus particulierement consacree aux proprietes de congruence des variables (ou des abstractions) numeriques. Precisement, a partir d'un cadre algebrique commun, on definit tout d'abord l'analyse de congruence arithmetique sur les nombres entiers, qui generalise a la fois la parite et la propagation des constantes, qu'on generalise elle-meme a l'inference de systemes d'equations lineaires de congruence. On generalise ensuite ces deux analyses aux nombres rationnels. Entre autres, ces analyses peuvent s'averer utiles dans le cadre de la vectorisation automatique pour les premieres, et pour les secondes afin d'optimiser la representation des reels et limiter les erreurs d'arrondi dans les calculs. On termine par la presentation rapide d'extensions des precedentes analyses, d'analyses de congruence multiplicative et de techniques d'iterations decroissantes permettant d'ameliorer les resultats des analyses en general

  • Titre traduit

    Semantic analyses of congruence


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (214 p.)
  • Annexes : 45 REF

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : F-GRA
  • Bibliothèque : Institut national des sciences appliquées (Villeurbanne, Rhône). Service Commun de la Documentation Doc'INSA.
  • Non disponible pour le PEB
  • Bibliothèque : Mines ParisTech. Bibliothèque.
  • Non disponible pour le PEB
  • Cote : EM AI CI200-594
  • Bibliothèque : École polytechnique. Bibliothèque Centrale.
  • Accessible pour le PEB
  • Bibliothèque : École polytechnique. Bibliothèque Centrale.
  • Disponible pour le PEB
  • Cote : G2A 279/1991/GRA
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.