摘要
本文提出应该根据函数调用形式来决定如何使用程序变换技术,并且提出一个算法来实现对函数调用形式的静态分析及其相应的程序变换.
Program transformation technique is often used for implementing fully lazy evaluation for functional programs. By analysing the necessities of using the technique, the author claims that its use should be determined according to applicative forms in programs. An algorithm is proposed for describing the static analysis and corresponding program transformations.
出处
《计算机学报》
EI
CSCD
北大核心
1989年第12期892-899,共8页
Chinese Journal of Computers
