Détermination automatique de relations linéaires vérifiées par les variables d'un programme - TEL - Thèses en ligne Access content directly
Theses Year : 1979

Détermination automatique de relations linéaires vérifiées par les variables d'un programme

Abstract

Définitions et résultats fondamentaux sur les polyèdres convexes. Opérations sur les polyèdres convexes. contextes abstraits. Système d'équations en avant associe à un programme. Analyse approchée en avant des programmes. Analyse approchée en arrière des programmes. Primitives évoluées. Application de la méthode. Note sur l'implémentation et les performances. comparaison avec des travaux voisins.
Fichier principal
Vignette du fichier
Halbwachs.Nicolas_1979_these.pdf (4.39 Mo) Télécharger le fichier

Dates and versions

tel-00288805 , version 1 (18-06-2008)

Identifiers

  • HAL Id : tel-00288805 , version 1

Cite

Nicolas Halbwachs. Détermination automatique de relations linéaires vérifiées par les variables d'un programme. Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1979. Français. ⟨NNT : ⟩. ⟨tel-00288805⟩

Collections

UGA CNRS TDS-MACS
480 View
273 Download

Share

Gmail Facebook Twitter LinkedIn More