Formal derivation of SIMD parallelism from non-linear recursive specifications (1994)

by A M Geerling
Venue:CONPAR '94 VAPP VI International Conference on Parallel and Vector Processing