Tegan Brennan, Nestan Tsiskaridze, Nicolás Rosner, Abdulbaki Aydin, Tevfik Bultan. Constraint normalization and parameterized caching for quantitative program analysis. In Eric Bodden, Wilhelm Schäfer, Arie van Deursen, Andrea Zisman, editors, Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, ESEC/FSE 2017, Paderborn, Germany, September 4-8, 2017. pages 535-546, ACM, 2017. [doi]
Abstract is missing.