Abstract: 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.

Abstract: 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.