|
|||||
|
|
| 基于活跃变量分析的流图语言的部分求值器 | |
| 作者姓名： | 陆卫东 金成植 |
| 作者单位： | 吉林大学计算机科学系,长春,130061;吉林大学计算机科学系,长春,130061 |
| 摘 要： | 本文描述了流图语言的自应用型静态部分求值器,它由活跃变量分析、抽象分析、标记和例化４部分组成．在活跃变量分析基础上再作抽象分析,比以往的抽象分析获得的抽象解释更精确,也更利于产生较高质量的剩余程序．转移压缩在例化中直接进行. |
| 关 键 词： | 活跃变量分析 抽象分析 部分求值 |
| 修稿时间： | 1996-01-08 |
| 本文献已被 CNKI 维普 等数据库收录！ | |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载免费的PDF全文 | |