科学计算的代数软件方法案例研究

摘要

目前，使用领域特定语言和适当的软件架构被视为增强可重用性和提高软件生产率的方法。在这里，我们概述了代数软件方法和高级程序构造器的使用，以提高软件的抽象水平的科学计算。这将我们引向无坐标数字语言，作为传统坐标依赖数组表示法的替代方法。这为本文所附的三篇论文提供了背景:计算流体力学问题的协调自由规划，围绕着一个使用坐标自由数值的例子，用于用户实现数据并行编程的机器和集合抽象，在并行化代码时利用更高的抽象级别，以及数值软件的代数编程风格及其优化，查看由特定于领域的编程风格支持的高级转换。

科学的规划

摘要

版权

更多相关文章