Return to search

Analyse statique de manipulations de mémoire par interprétation abstraite -- Algorithmique des polyèdres tropicaux, et application à l'interprétation abstraite

No description available.

1. http://pastel.archives-ouvertes.fr/pastel-00005850
2. http://pastel.archives-ouvertes.fr/docs/00/50/14/11/PDF/thesis.pdf

Identifer	oai:union.ndltd.org:CCSD/oai:pastel.archives-ouvertes.fr:pastel-00005850
Date	30 November 2009
Creators	Allamigeon, Xavier
Publisher	Ecole Polytechnique X
Source Sets	CCSD theses-EN-ligne, France
Detected Language	French
Type	PhD thesis