Skip to Main content Skip to Navigation
Theses

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.
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00288805
Contributor : Thèses Imag <>
Submitted on : Wednesday, June 18, 2008 - 3:37:43 PM
Last modification on : Friday, November 6, 2020 - 4:08:42 AM
Long-term archiving on: : Friday, May 28, 2010 - 10:37:30 PM

Identifiers

  • HAL Id : tel-00288805, version 1

Collections

Citation

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. ⟨tel-00288805⟩

Share

Metrics

Record views

640

Files downloads

529