Publications

@article{icps-2003-131,
	title = " Alias verification for Fortran code optimization (extended version)",
	author= "T.V.N. Nguyen and F. Irigoin",
 	journal = "Journal of Universal Computer Science",
	volume = "9",
	number = "3",
	pages= " 270-298",
	publisher = "Springer-Verlag",
	month = "April",
	year  = "2003",
}