检索结果-维普期刊中文期刊服务平台

一个基于抽象解释的部分演绎过程: 1; 作者刘椿年《软件学报》 EI CSCD 北大核心 1994年第11期31-37,共7页; 本文提出一种新的基于抽象解释的逻辑程序部分演绎方法．在一遍预处理里，针对给定的程序Ｐ和目标Ｇ，同时进行Ｐ∪｛Ｇ｝的部分演绎和抽象解释，以抽象解释控制部分演绎的展开过程．只要抽象论域是有穷的，部分演绎必定终止，而且Ｐ＇... 展开更多; 关键词逻辑程序部分演绎抽象解释程序设计; 在线阅读下载PDF 职称材料

CLP（R）程序部分演绎的研究: 2; 作者张秀珍刘椿年《计算机研究与发展》 EI CSCD 北大核心 1996年第5期347-354,共8页; 本文从实例分析总结了在宽度优先语义下对ＣＬＰ（Ｒ）程序进行部分演绎的基本规则和两条特殊规则，首次提出了将抽象解释技术应用于ＣＬＰ（Ｒ）程序的部分演绎的新课题。本文的结果虽然是初步的，但它是在ＣＬＰ（Ｒ）程序的部分演绎... 展开更多; 关键词程序设计部分演绎抽象解释 CLP(R)程序; 在线阅读下载PDF 职称材料

约束逻辑程序部分演绎过程的研究: 3; 作者陶意刘椿年《计算机学报》 EI CSCD 北大核心 1997年第3期238-244,共7页; 约束逻辑程序（ＣＬＰ）的部分演绎是一个新兴的研究领域．本文提出一个新的基于程序变换的ＣＬＰ部分演绎的过程．该过程以程序一目标对（ＰＯ，Ｑ０）为输入，经过一系列程序变换后终止，输出结果程序一目标对（Ｐｎ，Ｑｎ）．该过程... 展开更多; 关键词约束逻辑程序部分演绎程序设计; 在线阅读下载PDF 职称材料