|
|||||
|
|
| 一类受限PROLOG程序的抽象解释及其应用 | |
| 作者姓名： | 刘椿年 李晨 |
| 作者单位： | 北京工业大学计算机科学系(刘椿年)，北京航空学院计算机科学系(李晨) |
| 摘 要： | 本文提出一类受限的PROLOG程序——例化良好程序的抽象解释的理论模型,证明抽象解释的结果精确地反应了此类程序在实际运行时的模式信息,即各个谓词调用点处变元例化的状况.这一模式信息可应用于PROLOG的各种实现系统之中,使PROLOG程序的运行速度提高一至两个数量级.作为例子,本文给出适用于变量分离型程序的简化合一算法.本文最后还讨论了向全Horn子集推广的问题. |
| 本文献已被 CNKI 等数据库收录！ | |