"Precise Complexity Guarantees for Pointer Analysis via Datalog with ..."

K. Tuncay Tekle, Yanhong A. Liu (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics