Lari, I., & 		Ricci, L.
2000 out 24.  Array Region Analyses by Abstract Interpretation Approaches. Anais do International Symposium on Computer Architecture and High Performance Computing (SBAC-PAD). [Online] :