Mengjun Li. Inferring loop invariants of programs with polynomial post-conditions. In Hong Mei, Jian Lv, Minghui Zhou, Charles Zhang, editors, Proceedings of the 6th Asia-Pacific Symposium on Internetware, Internetware 2014, Hong Kong, China, November 17, 2014. pages 145-152, ACM, 2014. [doi]
Abstract is missing.