高级检索
检索提示:高级检索多个条件检索时是按照顺序运算的:如 A或B与C 即:(A或B)与C
[期刊论文]
一类受限PROLOG程序的抽象解释及其应用
作者:
摘要:
本文提出一类受限的PROLOG程序——例化良好程序的抽象解释的理论模型,证明抽象解释的结果精确地反应了此类程序在实际运行时的模式信息,即各个谓词调用点处变元例化的状况.这一模式信息可应用于PROLOG的各种实现系统之中,使PROLOG程序的运行速度提高一至两个数量级.作为例子,本文给出适用于变量分离型程序的简化合一算法.本文最后还讨论了向全Horn子集推广的问题.
关键词:
作者机构:
通讯作者信息:
电子邮件地址:
相关关键词:
相关文章:
1989,计算机研究与发展
1996,软件学报
1994,北京工业大学学报
1994,软件学报
来源 :
计算机学报
年份: 1988
期: 12
页码: 717-724
被引次数:
WoS核心集被引频次: 0
SCOPUS被引频次:
ESI高被引论文在榜: 0 展开所有
万方被引频次:
中文被引频次:
近30日浏览量: 2
归属院系:
信息学部 计算机学院
全文获取
外部链接: