首页>
外国专利>
Program translation based on generalized partial computation
Program translation based on generalized partial computation
展开▼
机译:基于广义局部计算的程序翻译
展开▼
页面导航
摘要
著录项
相似文献
摘要
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.
展开▼