Lari, Ilaria, and Laura Ricci.
" Array Region Analyses by Abstract Interpretation Approaches." <em>Anais do XII Symposium on Computer Architecture and High Performance Computing,
São Pedro/SP, 2000</em>. SBC, 2000,  
pp.305-312.