Abstraction de traces en analyse statique et transformation de programmes. (Traces abstraction in static analysis and program transformation).

Xavier Rival Abstraction de traces en analyse statique et transformation de programmes. (Traces abstraction in static analysis and program transformation). 2005 École Polytechnique, Palaiseau, France https://tel.archives-ouvertes.fr/pastel-00001914