Precise complexity guarantees for pointer analysis via datalog with extensions.

Saved in:

Bibliographic Details
Title:	Precise complexity guarantees for pointer analysis via datalog with extensions.
Authors:	TEKLE, K. TUNCAY¹, LIU, YANHONG A.¹, Carro, Manuel, King, Andy
Source:	Theory & Practice of Logic Programming. Sep2016, Vol. 16 Issue 5/6, p916-932. 17p.
Database:	Mathematics Source

Description
ISSN:	14710684
DOI:	10.1017/S1471068416000405