Ernst Althaus, Sebastian Altmeyer, Rouven Naujoks. Precise and efficient parametric path analysis. In Jan Vitek, Bjorn De Sutter, editors, Proceedings of the ACM SIGPLAN/SIGBED 2011 conference on Languages, compilers, and tools for embedded systems, LCTES 2011, Chicago, IL, USA, April 11-14, 2011. pages 141-150, ACM, 2011. [doi]
Abstract is missing.