Using ZBDDs in Points-to Analysis

Ondřej Lhoták, Stephen Curial, José Nelson Amaral. Using ZBDDs in Points-to Analysis. In Vikram S. Adve, María Jesús Garzarán, Paul Petersen, editors, Languages and Compilers for Parallel Computing, 20th International Workshop, LCPC 2007, Urbana, IL, USA, October 11-13, 2007, Revised Selected Papers. Volume 5234 of Lecture Notes in Computer Science, pages 338-352, Springer, 2007. [doi]


Abstract is missing.