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

Description

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.

Links & Downloads

1. http://tel.archives-ouvertes.fr/tel-00288805
2. http://tel.archives-ouvertes.fr/docs/00/28/88/05/PDF/Halbwachs.Nicolas_1979_these.pdf

Tags

polyèdre

convexe

programmes

programmation

compilation

système linéaire

équations

langage

nœud

tests

Additional Fields

Identifer	oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00288805
Date	12 March 1979
Creators	Halbwachs, Nicolas
Source Sets	CCSD theses-EN-ligne, France
Language	French
Detected Language	French
Type	PhD thesis