The TAMPR Program Transformation System: Simplifying the Development of Numerical Software
The TAMPR Program Transformation System: Simplifying the Development of Numerical Software
复制标题
TAMPR 程序转换系统：简化数值软件的开发
DOI：
--
复制
发表时间：
1997
期刊：
影响因子：
--
通讯作者：
V. Winter
中科院分区：
文献类型：
--
作者：
J. M. Boyle;T. Harmer;V. Winter
编写正确的数字软件是一个复杂的，苛刻的，有时甚至是无聊的任务，我们描述了一种构造软件的方法（PROMPROMPROGINCE和TOMPROMINATION），并且不仅可以帮助确保正确性数值计算，但还可以使此类软件构建方法涉及的大部分拖放作用。科学计算专家专注于正确捕获要解决的问题，同时委派编程软件的细节并将其调整为专业计算环境，以自动工具。
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.