Détermination automatique de relations linéaires vérifiées par les variables d'un programme

Nicolas Halbwachs. Détermination automatique de relations linéaires vérifiées par les variables d'un programme. PhD thesis, Joseph Fourier University, Grenoble, France, 1979. [doi]

Abstract

Abstract is missing.