Synthesizing Loops from Linear Ranking Functions.

Rui-Juan Jing, Yaru Yuan, Yuxing Cai, Yi Li, Changbo Chen

Browse the full ICFEM paper archive.