Lari, I., & 		Ricci, L.
(2000).
 Array Region Analyses by Abstract Interpretation Approaches.
In <em>Anais do XII Symposium on Computer Architecture and High Performance Computing</em>, (pp. 305-312). Porto Alegre: SBC.
doi:10.5753/sbac-pad.2000.41229