TY  - RPRT
TI  - Precise Complexity Guarantees for Pointer Analysis via Datalog with Extensions
AU  - K. Tuncay Tekle
AU  - Yanhong A. Liu
PY  - 2016
DO  - 10.1017/s1471068416000405
UR  - https://arxiv.org/abs/1608.01594
ID  - 1608.01594
ER  -