Return to Article Details Evaluation Strategies for Datalog-based Points-To Analysis Download Download PDF