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.
Type de document :
Thèse
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG; Université Joseph-Fourier - Grenoble I, 1979. Français
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00288805
Contributeur : Thèses Imag <>
Soumis le : mercredi 18 juin 2008 - 15:37:43
Dernière modification le : jeudi 11 janvier 2018 - 06:20:25
Document(s) archivé(s) le : vendredi 28 mai 2010 - 22:37:30

Identifiants

  • 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〉

Partager

Métriques

Consultations de la notice

474

Téléchargements de fichiers

319