Détermination automatique de relations linéaires vérifiées par les variables d'un programme - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1979

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

Résumé

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 et versions

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

Identifiants

  • HAL Id : tel-00288805 , version 1

Citer

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
548 Consultations
297 Téléchargements

Partager

Gmail Facebook X LinkedIn More