The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations

Stephen Fitzpatrick, Terence J. Harmer, Alan Stewart, Maurice Clint, James M. Boyle. The Automated Transformation of Abstract Specifications of Numerical Algorithms into Efficient Array Processor Implementations. Science of Computer Programming, 28(1):1-41, 1997.

Abstract

Abstract is missing.