This paper gives a dynamic technique of partial evaluation for procedural language, and apartial evaluator for Like-PASCAL hs been implemented.

提出了一种应用于过程式语言的动态部分求值技术，并实现了一个类如PASCAL语言的部分求值器。

youdao

This paper is the research on binding time analysis in partial evaluation techniques. It provides the BTA in a partial evaluator for a kind of higher order functional language, which is called FSL.

文章研究部分求值技术中的约束时间分析(简称BTA)，介绍了一种高阶的函数式语言fsl语言的部分求值器的BTA。

youdao