Title: Synthesizing linear-array algorithms from nested for loop algorithms