| 基于信息流分析的部分求值技术 |
| |
| 引用本文： | 刘磊,郑红军,金成植.基于信息流分析的部分求值技术[J].软件学报,1995,6(8):509-513. |
| |
| 作者姓名： | 刘磊 郑红军 金成植 |
| |
| 作者单位： | 吉林大学计算机科学系，长春,130023;北京大学计算机科学技术系,北京,100080;吉林大学计算机科学系,长春,130023 |
| |
| 摘 要： | 循环展开是过程式语言部分求值中的难题之一．本文提出一种基于信息流分析的部分求值技术，解决了部分求值中循环展开问题．本文利用这一技术，实现了一个过程式语言的部分求值器．
|
| 关 键 词： | 部分求值，信息流分析 |
| 收稿时间： | 1994/5/31 0:00:00 |
| 修稿时间： | 1994/8/30 0:00:00 |
THE PARTIAL EVALUATION TECHNIQUE BASED ON INFORMATION FLOW ANALYSIS |
| |
| Liu Lei,Zheng Hongjun and Jin Chengzhi.THE PARTIAL EVALUATION TECHNIQUE BASED ON INFORMATION FLOW ANALYSIS[J].Journal of Software,1995,6(8):509-513. |
| |
| Authors: | Liu Lei Zheng Hongjun and Jin Chengzhi |
| |
| Abstract: | The loop unfolding is one of difficult problems in the procedural language partial evaluation. A partial evaluation technique based on information analysis that solves the problem is presented in this paper.It has implemented a partial evaluator using this technique. |
| |
| Keywords: | Partial evaluation information analysis |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
