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

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