Formal Derivation of Divide-and-Conquer Programs: A Case Study in the Multidimensional FFT’s (1997)

by S Gorlatch, H Bischof
Venue:Formal Methods for Parallel Programming: Theory and Applications