基于信息流分析的部分求值技术

循环展开是过程式语言部分求值中的难题之一．本文提出一种基于信息流分析的部分求值技术，解决了部分求值中循环展开问题．本文利用这一技术，实现了一个过程式语言的部分求值器