Détermination automatique de relations linéaires vérifiées par les variables d'un programme / Nicolas Halbwachs ; sous la direction de Michel Sakarovitch

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Rationalisation des choix budgétaires

Sakarovitch, Michel (1937-.... ; mathématicien) (Directeur de thèse / thesis advisor)

Université Joseph Fourier (Grenoble, Isère, France ; 1971-2015) (Organisme de soutenance / degree-grantor)

Institut national polytechnique (Grenoble, Isère, France ; 1900-....) (Organisme de soutenance / degree-grantor)

Relation : Détermination automatique de relations linéaires vérifiées par les variables d'un programme / Nicolas Halbwachs ; sous la direction de Michel Sakarovitch / Grenoble : Université Joseph Fourier , 2008

Résumé / 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.