AN EFFICIENT METHOD OF UNFOLDING LOOP FOR IMPERATIVE LANGUAGE PARTIAL COMPUTATION

• 过程式语言部分求值循环展开的有效处理方法