摘要: 本文描述在ASC FORTRAN编译程序中用来从标准FORTRAN源代码发现和生成向量运算的技术。定义一组下标函数上的关系,它们提供为在DO循环中发现语句间和语句内的依赖性所必需的语义分析。提出确定满足本文中所定义关系的充分条件的定理。提出的定理构成在编译程序语义分析部分所实现的算法的基础。