Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction.

Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, Sharon Shoham

Browse the full VMCAI paper archive.