长春邮电学院学报
長春郵電學院學報
장춘유전학원학보
JOURNAL OF CHANG CHUN POST AND TELECOMMUNICATION INSTITUTE
2000年
3期
5-11
,共1页
程序分析%递归函数%程序设计语言%数据流分析%程序优化%部分求值
程序分析%遞歸函數%程序設計語言%數據流分析%程序優化%部分求值
정서분석%체귀함수%정서설계어언%수거류분석%정서우화%부분구치
Program analysis%Recursive functions%Programming languages%Data flow analysis%Program optimization%Partial computation
循环展开问题一直是过程式语言部分求值和广义部分求值的一个难题。笔者基于数据流分析技术，提出一个部分求值或广义部分求值的循环展开中止条件，利用该中止条件能有效地解决这一难题。
循環展開問題一直是過程式語言部分求值和廣義部分求值的一箇難題。筆者基于數據流分析技術，提齣一箇部分求值或廣義部分求值的循環展開中止條件，利用該中止條件能有效地解決這一難題。
순배전개문제일직시과정식어언부분구치화엄의부분구치적일개난제。필자기우수거류분석기술，제출일개부분구치혹엄의부분구치적순배전개중지조건，이용해중지조건능유효지해결저일난제。
The unfolding problem of loop is a difficult problem in the partial computation andgeneralized partial computation of imperative language. An efficient termination condition ofunfolding loop for partial evaluation or generalized partial evaluation is presented by use ofdata flow analysis technique. This termination condition can solve the problem very well.
