Akhilesh Srikanth, Burak Sahin, William R. Harris. Complexity verification using guided theorem enumeration. In Giuseppe Castagna, Andrew D. Gordon, editors, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. pages 639-652, ACM, 2017. [doi]
Abstract is missing.