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

DOI10.1016/S0167-6423(96)00015-9MaRDI QIDQ676845zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

program transformations

Mathematics Subject Classification ID

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

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

Cited in

(4)

• Transformation synthesis of efficient algorithms with auxiliary specifications
• A technique for translating clausal specifications of numerical methods into efficient programs
• The Tailoring of Abstract Functional Specifications of Numerical Algorithms for Sparse Data Structures through Automated Program Derivation and Transformation
• 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)