广义数学归纳法证明程序的正确性被引量：4

Proving Programs Correctness by a Generalized mathematical Induction Method

导出

摘要本文给出程序正确性证明的一种代数方法一广义数学归纳法。 This paper presents an algebraic tech nique for proving programs correctness-generalizedmathematical induction method.

作者张广泉

机构地区重庆师范学院数学系

出处《重庆师范学院学报（自然科学版）》 1994年第2期66-71,共6页 Journal of Chongqing Normal University(Natural Science Edition)

关键词程序正确性数学归纳法递归程序 programs correctness, testing,generallzed mathematical induction method, well or-dered set,recursive program

分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]

引文网络
相关文献

参考文献3

1陆奇.递归过程的谓词变换语义及其验证[J]计算机学报,1988(06).
2李为鉴.离散数学[M]复旦大学出版社,1990.
3冯玉琳等.程序设计方法学[M]北京科学技术出版社,1989.

同被引文献26

1厉海燕,李新明.一种证明程序正确性的方法[J].计算机应用,2001,21(z1):158-159. 被引量：3
2何景瓷,许建平.PLC控制程序的模块化设计[J].机床电器,2004,31(5):32-33. 被引量：10
3李芳.关于程序正确性证明的进一步探讨[J].信息技术与信息化,2005(4):66-67. 被引量：3
4刘育刚.递归Prolog程序的正确性证明[J].计算机学报,1996,19(1):64-67. 被引量：2
5郭建,韩俊刚.基于不完全Kripke结构三值逻辑的模型检验[J].计算机科学,2006,33(3):263-266. 被引量：5
6Marsha Chechik,Wei Ding.Lightweight Reasoning about Program Correctness[J]. Information Systems Frontiers . 2002 (4)
7Zohar Manna,Amir Pnueli.Axiomatic approach to total correctness of programs[J]. Acta Informatica . 1974 (3)
8BASU S K,YEH R T.Strong verification of programs. IEEETransactions on Software Engineering . 1974
9R W Floyd.Assigning meanings to programs. Proceedings Symposium in Applied Mathematics, Mathematical Aspects of Computer Science . 1967
10Hoare,C.A.R.An axiomatic basis for computer programming. Communications of the ACM . 1969

引证文献4

1谢维.基于归纳法的复杂供配电系统控制优化设计[J].自动化与仪表,2008,23(10):29-33. 被引量：1
2林杰,余建坤.基于Kripke结构的程序正确性证明[J].计算机应用,2011,31(5):1425-1427. 被引量：1
3张广泉.并发系统性质验证的一种形式化方法[J].重庆师范学院学报（自然科学版）,1999,16(3):1-5.
4王科佳,高蓉,丁志义.广义归纳法对程序性质的证明能力探究[J].软件导刊,2014,13(11):33-36.

二级引证文献2

1于泽.钢铁企业供配电系统的运行管理[J].中国高新技术企业,2012(11):61-62. 被引量：1
2吴鹏,张叙,路霞.基于模型检测方法的中文专利法律状态数据清洗研究[J].情报理论与实践,2018,41(3):49-56. 被引量：8

1罗光宣,任琼英.拼图游戏的编程设计[J].电脑爱好者,2001(11):85-86.
2汪学清,杨永田,孙亭,张忠林.无线传感器网络中基于网格的覆盖问题研究[J].计算机科学,2006,33(11):38-39. 被引量：26
3戎娜.高等数学中的数学推导归纳法在软件编写中的应用分析[J].消费导刊,2013(3):158-158.
4张玉祥.正整数的因子和的另一个公式[J].天津职业大学学报,2005,14(2):35-38.
5宋金平.递归程序编写方法探讨[J].科技通报,2013,29(4):88-90.
6罗国明.VB程序设计归类方法的研究[J].福建电脑,2012,28(8):21-22.
7杨淑群,吴文兵,丁树良.从集合论的角度分析循环不变式[J].吉林化工学院学报,2005,22(3):87-88.
8聂文喜.构造函数证明一类连环和(积)型不等式[J].中学数学教学,2005(3):31-31.
9肖琳.从汉诺塔问题再谈递归算法[J].电脑知识与技术（过刊）,2003(32):27-28.
10刘心歌,王凤仙,唐美兰.一类脉冲随机神经网络的矩指数稳定性分析[J].数学理论与应用,2016,36(3):1-4.

重庆师范学院学报（自然科学版）

1994年第2期

浏览历史

内容加载中请稍等...

广义数学归纳法证明程序的正确性被引量：4

参考文献3

同被引文献26

引证文献4

二级引证文献2

相关作者

相关机构

相关主题

浏览历史

广义数学归纳法证明程序的正确性 被引量：4

参考文献3

同被引文献26

引证文献4

二级引证文献2

相关作者

相关机构

相关主题

浏览历史

广义数学归纳法证明程序的正确性被引量：4