The automated transformation of abstract specifications of numerical algorithms into efficient array processor implementations
From MaRDI portal
Publication:676845
DOI10.1016/S0167-6423(96)00015-9zbMath0867.68079OpenAlexW1979652037MaRDI QIDQ676845
Maurice Clint, Stephen Fitzpatrick, Terence J. Harmer, Alan Stewart, 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
Parallel algorithms in computer science (68W10) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
This page was built for publication: The automated transformation of abstract specifications of numerical algorithms into efficient array processor implementations