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

Document Versions

Formal Derivation of Divide-and-Conquer Programs: A Case Study in the Multidimensional FFT's –Sergei Gorlatch, Holger Bischof — 1997 — Formal Methods for Parallel Programming: Theory and Applications. Workshop at IPPS'97