skip to main content

ANALYSES SEMANTIQUES DE CONGRUENCE

Granger, Philippe ; Cousot, Patrick

S.l. : s.n., 1991

Voir les exemplaires

  • Titre:
    ANALYSES SEMANTIQUES DE CONGRUENCE
  • Auteur: Granger, Philippe
  • Autre(s) auteur(s): Cousot, Patrick
  • Sujets: ANALYSE SEMANTIQUE ;
    H-INF.TH.
  • Description: Thèse Doctorat
    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
  • Éditeur: S.l. : s.n.
  • Date de publication: 1991
  • Langue: Français
  • 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é