Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Abstraction de tableaux"'
Autor:
Liu, Jiangchao
Dans cette thèse, nous étudions l'analyse statique par interprétation abstraites de programmes manipulant des tableaux, afin d'inférer des propriétés sur les valeurs numériques et les structures de données qui y sont stockées. Les tableaux s
Externí odkaz:
http://www.theses.fr/2018PSLEE046/document
