关于循环与循环不变式的讨论

• 作者: 姚朝灼
• 来源期刊: 福州大学学报(自然科学版)
• 学科: 工学
• 关键词: 循环 循环不变式
• 年，卷（期）: 2001,（z1）
• 页码范围: 15-18
• 页数: 4页
• 分类号: TP301.6
• 字数: 2026字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-2243.2001.z1.005

摘要

讨论程序设计中的循环与循环不变式的应用.利用循环不变式可以方便地设计循环程序,并可证明程序的正确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姚朝灼	福州大学信息科学与技术学院	10	40	4.0	6.0