首页> 中文期刊> 《软件学报》 >一个基于抽象解释部分演绎过程

一个基于抽象解释部分演绎过程

         

摘要

本文提出一种新的基于抽象解释的逻辑程序部分演绎方法。在一遍预处理里,针对给定的程序P和目标G,同时进行PPU{G}的部分演绎和抽象解释,以轴象解释控制部分演绎的展开过程,只要抽象论域是有穷的,部分演绎必定终止,耐用P’带有抽象解释估算出的关行其运行性质的信息,便于对P’作进一步优化。

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号