Title: Top-down synthesis of simple divide and conquer algorithms
Subjects: Computer programming, Algorithms, Automation