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

Universités : Université scientifique et médicale de Grenoble et Institut national polytechnique de GrenobleDé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