"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