Une modélisation de l'analyse de programmes par instances à travers la théorie des automates : les transducteurs comme relations des instances aux emplacements-mémoire / Pierre Amiranoff ; sous la direction de Véronique Viguié Donzeau-Gouge / Grenoble : Atelier national de reproduction des thèses , 2008