Static Analysis on Numeric and Structural Properties of Array Contents. (Analyse statique des propriétés numériques et structurelles du contenu des tableaux)

Jiangchao Liu. Static Analysis on Numeric and Structural Properties of Array Contents. (Analyse statique des propriétés numériques et structurelles du contenu des tableaux). PhD thesis, École Normale Supérieure, Paris, France, 2018. [doi]

Abstract

Abstract is missing.