Precise complexity guarantees for pointer analysis via datalog with extensions
TEKLE, K. TUNCAY, LIU, YANHONG A.Volume:
16
Language:
english
Journal:
Theory and Practice of Logic Programming
DOI:
10.1017/s1471068416000405
Date:
September, 2016
File:
PDF, 832 KB
english, 2016