Precise complexity guarantees for pointer analysis via Datalog with extensions.

K. Tuncay Tekle Yanhong A. Liu

Published in: Theory Pract. Log. Program. (2016)

Keyphrases

real world
data structure
database
neural network
information retrieval
information systems
data analysis
expert systems
query processing
computational cost
worst case
programming language
quantitative analysis
complexity analysis