不动点语义

作品数：11被引量：23H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：汤庸蒋运承王驹周生明古天龙更多>>
相关机构：广西师范大学中山大学桂林电子科技大学陕西师范大学更多>>
相关期刊：《模式识别与人工智能》《计算机学报》《广东工业大学学报》《计算机研究与发展》更多>>
相关基金：国家自然科学基金广东省自然科学基金中国博士后科学基金广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机科学x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于抽象解释的Prolog程序验证技术研究被引量：1
《计算机科学》2008年第7期261-268,共8页赵岭忠 古天龙 蔡国永 钱俊彦 
国家自然科学基金(60563005;60663005);广西青年科学基金(桂科青0728093;0542036)
作为一种通用的语义近似理论,抽象解释已广泛应用于各类程序的形式化验证中。现有基于抽象解释的逻辑程序验证技术未涉及与程序点相关联的程序性质的验证,设计能够描述此类性质的逻辑程序具体语义和抽象语义是构造相应验证工具的关键。...
关键词：抽象解释 程序验证 PROLOG 不动点语义 
关于三值逻辑程序中否定和蕴涵完备化程序的不动点语义
《计算机科学》2006年第4期141-142,147,共3页刘富春 
广东省自然科学基金项目(020146;031541;广东工业大学青年基金项目(042027)
逻辑程序具有丰富的表达能力和非确定性等特点,在定理机器证明、关系数据库系统、程序验证、模块化程序设计和非单调推理等方面都有了广泛的应用。本文是继续文[8]的工作。首先通过两个反例,指出了文[7]中关于否定完备化程序 Comp((?),...
关键词：逻辑程序 否定和蕴涵完备化程序 Herbrand模型 后继算子 Fitting算子 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部