|国家科技期刊平台
| 注册
首页|期刊导航|计算机工程与应用|循环不变式开发新策略及其应用

循环不变式开发新策略及其应用

石海鹤 肖正兴 薛锦云

计算机工程与应用2006，Vol.42Issue(4)：105-107,161,4.
✕
计算机工程与应用2006，Vol.42Issue(4)：105-107,161,4.

循环不变式开发新策略及其应用

New Strategies for Developing Loop Invariants and its Application

石海鹤 1肖正兴 2薛锦云3

作者信息

  • 1. 江西师范大学计算机信息工程学院,南昌,330027
  • 2. 中国科学院软件研究所计算机科学重点实验室,北京,100080
  • 3. 深圳职业技术学院,深圳,518500
  • 折叠

摘要

关键词

循环不变式/算法程序/形式化方法/PAR方法

分类

信息技术与安全科学

引用本文复制引用

石海鹤,肖正兴,薛锦云..循环不变式开发新策略及其应用[J].计算机工程与应用,2006,42(4):105-107,161,4.

基金项目

国家自然科学基金资助项目(编号:60273092) （编号:60273092）

计算机工程与应用

OA北大核心CSCDCSTPCD

1002-8331

访问量0
|
下载量0
段落导航相关论文