| 一个基于抽象解释的部分演绎过程 |
| |
| 引用本文： | 刘椿年.一个基于抽象解释的部分演绎过程[J].软件学报,1994,5(11):31-37. |
| |
| 作者姓名： | 刘椿年 |
| |
| 作者单位： | 北京工业大学计算机科学系，北京 100022 |
| |
| 摘 要： | 本文提出一种新的基于抽象解释的逻辑程序部分演绎方法．在一遍预处理里，针对给定的程序Ｐ和目标Ｇ，同时进行Ｐ∪｛Ｇ｝的部分演绎和抽象解释，以抽象解释控制部分演绎的展开过程．只要抽象论域是有穷的，部分演绎必定终止，而且Ｐ＇带有抽象解释估算出的关于其运行性质的信息，便于对Ｐ作进一步优化．
|
| 关 键 词： | 逻辑程序设计，部分演绎，抽象解释 |
| 收稿时间： | 4/8/1992 12:00:00 AM |
| 修稿时间： | 1992/7/27 0:00:00 |
A PARTIAL DEDUCTION PROCEDURE BASED ON Abstract INTERPRETATIONS |
| |
| Liu Chunnian.A PARTIAL DEDUCTION PROCEDURE BASED ON Abstract INTERPRETATIONS[J].Journal of Software,1994,5(11):31-37. |
| |
| Authors: | Liu Chunnian |
| |
| Abstract: | |
| |
| Keywords: | Logic programming partial deduction abstract interpretation |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
