过程式语言部分求值循环展开的有效处理方法
과정식어언부분구치순배전개적유효처리방법
AN EFFICIENT METHOD OF UNFOLDING LOOP FOR IMPERATIVE LANGUAGE PARTIAL COMPUTATION
저자의 최근 논문