Relating complexity and precision in control flow analysis.

David Van Horn Harry G. Mairson

Published in: ICFP (2007)

Keyphrases

flow analysis
information flow
control system
worst case
decision problems
space complexity
high recall
machine learning
mobile phone
high precision
forensic analysis
computational complexity
mobile robot
data management
control strategy
control method