公开(公告)号：US5241678A

公开(公告)日：1993-08-31

申请号：US884466

申请日：1992-05-13

申请人： Yoshihiko Futamura ,  Kenroku Nogi

发明人： Yoshihiko Futamura ,  Kenroku Nogi

IPC分类号： G06F9/44

CPC分类号： G06F8/30 ,  G06F9/4425

摘要： A program translation method for translating a first program including at least a conditional branch step into a second program through a partial computation. Whether or not a condition expression included in the first program is satisfied is judged depending on known information. If such judgement can not be made, the routine of each branch destination of the condition expression is subjected to a partial computation based on the known information and additional information indicating the branch condition of the condition expression. When the routine at the branch destination is a non-primitive function, prior to the partial computation of the routine at the branch destination, a unique name is assigned to a result of the partial computation such that the name is referenced at an intermediate point of the partial computation.

摘要翻译： 一种程序翻译方法，用于通过部分计算将包括至少条件分支步骤的第一程序转换为第二程序。 根据已知的信息判断包含在第一程序中的条件表达式是否被满足。 如果不能进行判断，则根据已知信息和表示条件表达式的分支条件的附加信息对条件表达式的每个分支目的地的例程进行部分计算。 当分支目的地的例程是非原始函数时，在分支目的地的例程的部分计算之前，将唯一的名称分配给部分计算的结果，使得在中间点被引用名称 部分计算。

公开(公告)号：US4956773A

公开(公告)日：1990-09-11

申请号：US329598

申请日：1989-03-28

申请人： Kazumasa Saito ,  Hiroyuki Maezawa ,  Masakazu Kobayashi ,  Yoshihiko Futamura

发明人： Kazumasa Saito ,  Hiroyuki Maezawa ,  Masakazu Kobayashi ,  Yoshihiko Futamura

IPC分类号： G06F9/06 ,  G06F9/44

CPC分类号： B82Y15/00 ,  G06F8/30 ,  Y10S715/967

摘要： According to the present invention, using a display terminal for conversation, a module structure diagram (schemata expressive of the connectional relations among respective program modules) is created, and a processing flow diagram (a kind of processing flow chart), an internal data definition diagram (schemata for specifying the formats etc. of data for use in processes) and an interface data definition diagram (schemata for specifying the formats etc. of arguments, common data between the modules, etc.) are created for each module, the created contents being stored in a memory. Further, the schematic information items of the module structure diagram, processing flow diagram, internal data definition diagram and interface data definition diagram are read out from the memory for each module and have stereotyped sentences and symbols added thereto, to generate the individual sentences of a source program. These sentences are edited according to the rules of a language, to complete the source program. If necessary, the various diagrams are printed out and utilized as program specifications.

公开(公告)号：US4831525A

公开(公告)日：1989-05-16

申请号：US145410

申请日：1988-01-19

申请人： Kazumasa Saito ,  Hiroyuki Maezawa ,  Masakazu Kobayashi ,  Yoshihiko Futamura

发明人： Kazumasa Saito ,  Hiroyuki Maezawa ,  Masakazu Kobayashi ,  Yoshihiko Futamura

IPC分类号： G06F9/06 ,  G06F9/44

CPC分类号： B82Y15/00 ,  G06F8/30 ,  Y10S715/967

摘要： According to the present invention, using a display terminal for conversation, a module structure diagram (schemata expressive of the connectional relations among respective program modules) is created, and a processing flow diagram (a kind of processing flow chart), an internal data definition diagram (schemata for specifying the formats etc. of data for use in processes) and an interface data definition diagram (schemata for specifying the formats etc. of arguments, common data between the modules, etc.) are created for each module, the created contents being stored in a memory. Further, the schematic information items of the module structure diagram, processing flow diagram, internal data definition diagram and interface data definition diagram are read out from the memory for each module and have stereotyped sentences and symbols added thereto, to generate the individual sentences of a source program. These sentences are edited according to the rules of a language, to complete the source program. If necessary, the various diagrams are printed out and utilized as program specifications.

摘要翻译： 根据本发明，使用显示终端进行会话，形成模块结构图（表示各程序模块之间的连接关系的模式），处理流程图（处理流程图的种类），内部数据定义 为每个模块创建图表（用于指定用于进程的数据的格式等）和接口数据定义图（用于指定参数的格式等的模式，模块之间的公共数据等），创建 内容被存储在存储器中。 此外，模块结构图，处理流程图，内部数据定义图和接口数据定义图的原理图信息项目从每个模块的存储器中读出，并添加了刻板的句子和符号，以生成单个句子 源程序。 这些句子根据语言的规则进行编辑，以完成源程序。 如果需要，各种图表被打印出来并用作程序规格。