期刊文章详细信息
利用循环不变式理解和开发程序
文献类型：期刊文章
机构地区：[1]江西师范大学计算机科学系
基 金：国家自然科学基金
年 份：1996
期 号：2
起止页码：30-33
语 种：中文
收录情况：IC、ZGKJHX、普通刊
摘 要：本文论述循环不变式及其开发技术和程序设计的联系。并通过实例说明循环不变式在理解和开发程序中的巨大作用。
关 键 词：循环不变式 程序设计 循环结构
分 类 号：TP311]
参考文献：
正在载入数据...
二级参考文献：
正在载入数据...
耦合文献：
正在载入数据...
引证文献：
正在载入数据...
二级引证文献：
正在载入数据...
同被引文献：
正在载入数据...
