公开(公告)号：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.

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

公开(公告)号：US4866605A

公开(公告)日：1989-09-12

申请号：US172980

申请日：1988-03-22

申请人： Toshihiko Nakano ,  Toshihiro Hayashi ,  Kenroku Nogi ,  Kiyomi Mori

发明人： Toshihiko Nakano ,  Toshihiro Hayashi ,  Kenroku Nogi ,  Kiyomi Mori

IPC分类号： G06F17/50 ,  G06F15/00 ,  G06F15/16

CPC分类号： G06F17/5013

摘要： In a method and a system for simulating a distributed system, a target system is divided into asynchronously operative processes so that the simulation of said asynchronously operative, distributed system may be comprehended with the changes in the data structures by using (1) a whole structure table indicating what certain of the said divided processes can provide for other processes, (2) a system structure table representing certain of said processes with a Petri net model, and (3) a data structure table storing the data structures of input and output processing data.

摘要翻译： 在用于模拟分布式系统的方法和系统中，将目标系统划分为异步操作过程，使得可以通过使用（1）整个结构来理解所述异步操作的分布式系统的模拟与数据结构的变化 表示所述划分的过程能够为其他过程提供什么，（2）使用Petri网模型表示某些所述过程的系统结构表，以及（3）存储输入和输出处理的数据结构的数据结构表 数据。