The automated transformation of abstract specifications of numerical algorithms into efficient array processor implementations
- 31 January 1997
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 28 (1) , 1-41
- https://doi.org/10.1016/s0167-6423(96)00015-9
Abstract
No abstract availableKeywords
This publication has 34 references indexed in Scilit:
- Improving recursive functions by inverting the order of evaluationScience of Computer Programming, 1992
- A practical functional program for the CRAY X-MPJournal of Functional Programming, 1992
- An Optimising Compiler for a Modern Functional LanguageThe Computer Journal, 1989
- The Chalmers Lazy-ML CompilerThe Computer Journal, 1989
- Algebraic Identities for Program CalculationThe Computer Journal, 1989
- Towards the construction of an eigenvalue engineParallel Computing, 1988
- The alpha-beta algorithm: An exercise in program transformationInformation Processing Letters, 1987
- Program Reusability through Program TransformationIEEE Transactions on Software Engineering, 1984
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Transformational component for programming language grammarPublished by Office of Scientific and Technical Information (OSTI) ,1970