Synthesizing Nested Ranking Functions for Loop Programs via SVM.

Yi Li, Xuechao Sun, Yong Li, Andrea Turrini, Lijun Zhang

Browse the full ICFEM paper archive.