Publications

@inproceedings{icps-2001-136,
	title = "Efficient Intraprocedural Array Bound Checking",
	author= "T.V.N. Nguyen and F. Irigoin and C. Ancourt and R. Keryell",
 	booktitle = "Second International Workshop on Automated Program Analysis, Testing and Verification (WAPATV01)",
 	location = "Toronto, Canada",
	month = "May",
	year  = "2001",
}