Return to Article Details Static Analysis for Divide-and-Conquer Pattern Discovery Download Download PDF