Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction
Keyword(s):
2013 ◽
Vol 439
(11)
◽
pp. 3318-3331
◽
Keyword(s):
2018 ◽
Vol 82
(1)
◽
pp. 110-116
◽
Keyword(s):
2003 ◽
pp. 75-83
◽
Keyword(s):