TY  - RPRT
TI  - Putting the Squeeze on Array Programs: Loop Verification via Inductive Rank Reduction
AU  - Oren Ish Shalom
AU  - Shachar Itzhaky
AU  - Noam Rinetzky
AU  - Sharon Shoham
PY  - 2021
UR  - https://arxiv.org/abs/2106.00937
ID  - 2106.00937
ER  -