|
|||||
|
|
| 高阶函数式语言的部分求值器 | |
| 作者姓名： | 陆卫东 金成植 |
| 作者单位： | 吉林大学计算机科学系 |
| 摘 要： | 本文提出了一种新的基于ＣＬＯＳＵＲＥ分析的高阶函数式语言的部分求值方法,对表达式中的高阶值采取了有效的抽象分析手段,从而提高了剩余程序的质量。文中给出了ＣＬＯＳＵＲＥ分析,抽象分析,标记和例化较完整的形式描述。 |
| 关 键 词： | 部分求值 抽象分析 高阶函数式语言 部分求值器 |
| 修稿时间： | 1995-08-14 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载免费的PDF全文 | |