121
click to vote
VMCAI
2010
Springer
16 years 21 days ago
2010
Springer
We present a loop property generation method for loops iterating over multi-dimensional arrays. When used on matrices, our method is able to infer their shapes (also called types),...