Shape Checking of Array Programs (1997)

by C. Barry Jay , Milan Sekanina
Venue:In Computing: the Australasian Theory Seminar, Proceedings
Citations:20 - 5 self