基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
循环不变式体现了循环程序的本质特征,在算法程序的开发、证明和推导中具有十分重要的作用.而传统的循环不变式开发策略并没有很好地解决循环不变式开发难的问题.文章在阐述现有策略局限性的基础上,详细阐述了刻画循环不变式本质特征的新定义及基于此定义的开发循环不变式的新策略,并通过三个典型的实例,对开发新策略的具体应用作了比较深入的探索.
推荐文章
循环不变式开发技术研究
循环不变式
PAR方法
高可靠性软件
谓词抽象
开发TRAP标记的新策略
TRAR
分子标记开发
烟草
类香料烟特殊高香气
算法归纳设计策略与循环不变式
算法设计
归纳法
循环不变式
动态规划
高职院校人力资源开发创新策略
高职院校
人力资源开发
创新
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 循环不变式开发新策略及其应用
来源期刊 计算机工程与应用 学科 工学
关键词 循环不变式 算法程序 形式化方法 PAR方法
年,卷(期) 2006,(4) 所属期刊栏目 产品、研发、测试
研究方向 页码范围 105-107,161
页数 4页 分类号 TP311
字数 4254字 语种 中文
DOI 10.3321/j.issn:1002-8331.2006.04.033
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 石海鹤 江西师范大学计算机信息工程学院 18 111 6.0 10.0
3 薛锦云 江西师范大学计算机信息工程学院 77 745 15.0 23.0
7 肖正兴 15 44 3.0 6.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (4)
节点文献
引证文献  (16)
同被引文献  (7)
二级引证文献  (27)
1982(1)
  • 参考文献(1)
  • 二级参考文献(0)
1991(1)
  • 参考文献(1)
  • 二级参考文献(0)
1993(1)
  • 参考文献(1)
  • 二级参考文献(0)
1997(1)
  • 参考文献(1)
  • 二级参考文献(0)
2006(1)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(1)
  • 二级引证文献(0)
2006(1)
  • 引证文献(1)
  • 二级引证文献(0)
2007(4)
  • 引证文献(2)
  • 二级引证文献(2)
2008(2)
  • 引证文献(1)
  • 二级引证文献(1)
2009(6)
  • 引证文献(4)
  • 二级引证文献(2)
2010(6)
  • 引证文献(2)
  • 二级引证文献(4)
2011(1)
  • 引证文献(1)
  • 二级引证文献(0)
2012(5)
  • 引证文献(2)
  • 二级引证文献(3)
2013(4)
  • 引证文献(0)
  • 二级引证文献(4)
2014(4)
  • 引证文献(1)
  • 二级引证文献(3)
2015(1)
  • 引证文献(0)
  • 二级引证文献(1)
2017(5)
  • 引证文献(1)
  • 二级引证文献(4)
2018(1)
  • 引证文献(1)
  • 二级引证文献(0)
2019(1)
  • 引证文献(0)
  • 二级引证文献(1)
2020(2)
  • 引证文献(0)
  • 二级引证文献(2)
研究主题发展历程
节点文献
循环不变式
算法程序
形式化方法
PAR方法
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程与应用
半月刊
1002-8331
11-2127/TP
大16开
北京619信箱26分箱
82-605
1964
chi
出版文献量(篇)
39068
总下载数(次)
102
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导