不动点语义

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

检索结果分析

结果分析中...
选择条件：
  • 机构=桂林电子科技大学x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于OBDD的描述逻辑εL循环术语集推理被引量：1
《软件学报》2014年第1期64-77,共14页古天龙 吕思菁 常亮 徐周波 
国家自然科学基金(60963010;60903079;61100025;61262030;61363030);广西自然科学基金(2012GXNSFBA 053169)
循环术语集推理是描述逻辑研究中面临的难点问题,尚未得到很好的解决.有序二叉决策图(ordered binary decision diagram,简称OBDD)是一种对布尔函数进行紧凑表示和高效操作的数据结构,适用于表示和处理大规模问题.将OBDD应用于描述逻辑...
关键词：描述逻辑εL 循环术语集 有序二叉决策图 概念包含关系 不动点语义 
基于抽象解释的Prolog程序验证技术研究被引量：1
《计算机科学》2008年第7期261-268,共8页赵岭忠 古天龙 蔡国永 钱俊彦 
国家自然科学基金(60563005;60663005);广西青年科学基金(桂科青0728093;0542036)
作为一种通用的语义近似理论,抽象解释已广泛应用于各类程序的形式化验证中。现有基于抽象解释的逻辑程序验证技术未涉及与程序点相关联的程序性质的验证,设计能够描述此类性质的逻辑程序具体语义和抽象语义是构造相应验证工具的关键。...
关键词：抽象解释 程序验证 PROLOG 不动点语义 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部