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

• AN EFFICIENT METHOD OF UNFOLDING LOOP FOR IMPERATIVE LANGUAGE PARTIAL COMPUTATION