Xavier Allamigeon

Own Thesis
Related Theses

Static analysis of memory manipulations by abstract interpretation - Algorithmics of tropical polyhedra, and application to abstract interpretation. (Analyse statique de manipulations de mémoire par interprétation abstraite - Algorithmique des polyèdres tropicaux, et application à l'interprétation abstraite).

X. Allamigeon. École Polytechnique, Palaiseau, France, (2009)

Doctoral advisor:
First reviewer:

Reviewer:
Advisor:
Author: Xavier Allamigeon
Editor:
Other:

No resources found

sort by
added at
title
author
publication date
entry type