广义部分求值循环展开的中止条件

循环展开问题一直是过程式语言部分求值和广义部分求值的一个难题。笔者基于数据流分析技术 ,提出一个部分求值或广义部分求值的循环展开中止条件 。