• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

J4 ›› 1997, Vol. 19 ›› Issue (1): 48-52.

• 论文 • 上一篇    下一篇

实现函数式语言部分求值器的约束时间分析

吴晶 廖湖声   

  • 出版日期:1997-01-01 发布日期:2010-07-02

  • Online:1997-01-01 Published:2010-07-02

摘要:

文章研究部分求值技术中的约束时间分析,介绍了一种高阶的函数式语言-FSL语言的部分求值器的BTA。

关键词: 函数式语言 部分求值 约束时间分析 软件工程