The TAMPR Program Transformation System: Simplifying the Development of Numerical Software
James M. Boyle, Terence Harmer, Victor Winter · Birkhäuser Boston eBooks · 1997
Writing correct numerical software is a complex, demanding, and, at times, even a boring, task. In this chapter, we describe an approach to constructing software—program specification and transformation—and allied tools that can help not only to ensure the correctness of numerical computations but also automate much of the drudge-work involved in preparing such software. This approach to software construction holds out the exciting prospect of enabling the numerical analyst or specialist in scientific computing to concentrate on correctly capturing the problem to be solved, while delegating the details of programming the software and adapting it to specialized computing environments to automated tools. These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.