递归程序

作品数：84被引量：88H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：蔡经球钱俊彦赵岭忠郭云川蔡国永更多>>
相关机构：厦门大学桂林电子科技大学江西师范大学上海交通大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金黑龙江省自然科学基金国家重点基础研究发展计划江西省教育厅科学技术研究项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机学报x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于时间多栈下推网络的实时系统验证
《计算机学报》2016年第11期2253-2269,共17页钱俊彦 甘鹏程 郭云川 赵岭忠 古天龙 
国家自然科学基金(61262008;61562015;61572146;U1501252);广西自然科学基金(2012GXNSFAA053220;2014GXNSFAA118365;2015GXNSFDA139038);广西高等学校高水平创新团队及卓越学者计划;广西可信软件重点实验室重点基金;桂林电子科技大学创新团队资助~~
多栈下推网络(MPDN)是利用多个栈来描述并发递归程序线程之间交互的一种下推系统模型.为了描述基于线程之间交互的实时并发递归程序,首先将描述连续时间的时钟引入到MPDN,提出了时间多栈下推网络(TMPDN),并给出了语法及其操作语义;其次...
关键词：MPDN TMPDN 并发递归程序 时钟等价 可达性 
递归Prolog程序的正确性证明被引量：2
《计算机学报》1996年第1期64-67,共4页刘育刚 
黑龙江省自然科学基金
本文提出了一种称为Ｐｒｏ图的图形方法，并用该图形方法进行了递归Ｐｒｏｌｏｇ程序的正确性证明．文中包括Ｐｒｏ图的基本概念及生成规则，Ｐｒｏ图上各节点的关系，Ｐｒｏ图的激活过程，并给出了关于递归程序正确性证明的公理和定理．
关键词：PROLOG语言 正确性证明 递归程序 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部