Rémy Haemmerlé, Pedro López-García 0001, Umer Liqat, Maximiliano Klemen, John P. Gallagher, Manuel V. Hermenegildo. A Transformational Approach to Parametric Accumulated-Cost Static Profiling. In Oleg Kiselyov, Andy King, editors, Functional and Logic Programming - 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings. Volume 9613 of Lecture Notes in Computer Science, pages 163-180, Springer, 2016. [doi]
Abstract is missing.