The top documents tagged [program dependence graph]