Publications

@article{icps-2005-129,
	title = " Efficient and Effective Array Bound Checking",
	author= "T.V.N. Nguyen and F. Irigoin",
 	journal = "ACM Transactions on Programming Languages and Systems",
	volume = "27",
	number = "3",
	publisher = "ACM",
	month = "May",
	year  = "2005",
}