文章研究部分求值技术中的约束时间分析(简称BTA)，介绍了一种高阶的函数式语言fsl语言的部分求值器的BTA。
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.
由于项目受到资源和时间的约束，该分析常常集中于主要的数据元素和域。
Project constraints in resources and time invariably force a focus down to primary data elements and domains.
乐观的分析认为与会国希望有更充裕的时间，因为他们非常重视达成具有强约束力的协议。
An optimistic reading of events would be that the countries involved want some extra time because they are serious about reaching a strong and binding agreement.
应用推荐