Shape checking of array programs (1997)

by B C Jay, M Sekanina
Venue:In Computing: the Australasian Theory Seminar, Australian Computer Science Communications