FLANAGAN TODD

Accurate static dependency analysis via execution-context type prediction