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

by Sergei Gorlatch , Holger Bischof
Venue:Formal Methods for Parallel Programming: Theory and Applications. Workshop at IPPS'97
Citations:5 - 3 self