论文部分内容阅读
数据并行高层描述语言DPHL是我们开发的面向科学计算的一个描述语言，变量定义和基于域上的计算是该语言的重要组成部分.本文通过对数据并行方法、科学计算特点以及现有并行语言的研究和分析，论述了变量定义中数据抽象的两个主要方面：一是引入了变量的定义域、子域和依赖域概念，给出了它们的形式化描述，二是引入了变量的数学属性，并和域分离，便于数据并行自动识别，重构高效的并行程序，使DPHL描述符合或接近于专业上的数学表示.