Shape checking of array programs (1997)

by C Barry Jay, Milan Sekanina
Venue:Computing: the Australasian Theory Seminar, Proceedings, Australian Computer Science Communications