The automated transformation of abstract specifications of numerical algorithms into efficient array processor implementations

DOI10.1016/S0167-6423(96)00015-9zbMATH Open0867.68079OpenAlexW1979652037MaRDI QIDQ676845FDOQ676845

Authors: Stephen Fitzpatrick, Terence J. Harmer, A. Stewart, M. Clint, James M. Boyle 

Publication date: 7 August 1997

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(96)00015-9

Recommendations

• The Tailoring of Abstract Functional Specifications of Numerical Algorithms for Sparse Data Structures through Automated Program Derivation and Transformation
• A technique for translating clausal specifications of numerical methods into efficient programs
• Automatic transformations of high-level object-oriented specifications into parallel programs
• scientific article; zbMATH DE number 426143

zbMATH Keywords

program transformations

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Parallel algorithms in computer science (68W10) Abstract data types; algebraic specification (68Q65)

Cited In (3)

• Transformation synthesis of efficient algorithms with auxiliary specifications
• A technique for translating clausal specifications of numerical methods into efficient programs
• Automatic implementation of affine iterative algorithms: Design flow and communication synthesis

This page was built for publication: The automated transformation of abstract specifications of numerical algorithms into efficient array processor implementations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q676845)