C B Jay and M Sekanina "Shape Checking of Array Programs"

Languages mentioned

• FISh {1997}