[发明专利]程序生成装置、程序生产方法及程序

摘要

程序生成装置参照包含将块重复处理N次的、有关第i次执行的上述块内定义的变量处于在有关第j次执行的上述块内被参照的相关关系的循环处理的源程序，计算有关第i次的执行的上述块及有关第i次以外的执行的1个以上的上述块中的变量表述的等价关系，对于处于上述相关关系的全部的对象变量的表述，确定与该对象变量的表述等价的不具有上述相关关系的其他变量的表述，生成用来进行上述循环处理的M次的处理的、包括包含有所确定的其他变量的表述的命令语句的程序，其中N≥2，1≤i＜N，i＜j≤N，M≤N。

主权项

一种程序生成装置，通过参照对象源程序而生成新的程序，该对象源程序包含将由1个以上的命令语句构成的块重复处理N次的循环处理，该循环处理的在有关第i次执行的上述块内的命令语句中定义的变量处于被有关第j次执行的上述块内的命令语句所参照的相关关系，其中N≥2，1≤i＜N，i＜j≤N，其特征在于，该程序生成装置具备：计算单元，以有关第i次执行的上述块、和有关第i次以外的执行的1个以上的上述块为对象块，进行计算该对象块中的变量表述的等价关系的计算处理；确定单元，基于上述计算单元计算出的变量表述的等价关系，对于上述变量之中的、处于上述相关关系的全部的对象变量的表述，进行确定与该对象变量的表述等价的不具有上述相关关系的其他变量的表述的确定处理；以及生成单元，生成用来进行上述循环处理的M次的处理的、包含如下命令语句的程序，该命令语句包含有上述确定单元确定的其他变量的表述，其中M≤N。