摘要
循环展开问题一直是过程式语言部分求值和广义部分求值的一个难题。笔者基于数据流分析技术 ,提出一个部分求值或广义部分求值的循环展开中止条件 。
The unfolding problem of loop is a difficult problem in the partial computation and generalized partial computation of imperative language. An efficient termination condition of unfolding loop for partial evaluation or generalized partial evaluation is presented by use of data flow analysis technique. This termination condition can solve the problem very well.
出处
《长春邮电学院学报》
2000年第3期5-11,共7页
Journal of Changchun Post and Telecommunication Institute
关键词
程序设计语言
广义部分求值
循环展开
Program analysis
Recursive functions
Programming languages
Data flow analysis
Program optimization
Partial computation
