期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

循环不变式在程序设计教学中的应用

The Application of Invariant in Program Design Instruction
下载PDF
导出
摘要 本文介绍了循环不变式的理论和特点,在详细分析循环结构的基础上,结合实例介绍了在教学中引导学生通过循环不变式设计循环程序的过程,给出了通过循环不变式设计循环程序的具体步骤。 This paper introduces loop invariantsand its properties, Based on detailed analysis on loop structure, this paper introduces that how to guide students to developloops byinvariants with examples, andspecificsteps aregiven.
作者 余伟
机构地区 成都师范学院计算机系
出处 《科技风》 2014年第14期120-121,共2页
关键词 循环不变式 断言 终止条件 Loopinvariant Assertion Tenninationcondition
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献4

二级参考文献23

  • 1Floyd R. Assigning meaning to programs[A]. XIX American Mathematical Society. Mathematical aspects of computer science[C]. New York: Springer-Verlag, 1967.
  • 2Dijkstra E W. A discipline of programming[M]. New Jersey: Prentice Hall, 1976.
  • 3Gries D. The science of programming[M]. New York: Springer-Verlag, 1981.
  • 4Bates J L, Constable R L. Proofs as programs[J]. Communications of the ACM 7,1, 1985: 113-136.
  • 5Constable R L. Implementing mathematics with the Nuprl proof development system[M]. New Jersey: Prentice Hall, 1986.
  • 6Manber U. Using induction to design algorithms[J]. Communcations of the ACM 31, 11, 1988: 1300-1313.
  • 7DIJKSTRA E W. A discipline of programming[ M]. New Jersey: Prentice-Hall Inc., 1976.
  • 8FLOYD R W. Assigning meanings to programs[ C]//Proceedings of Symposia in Applied Mathematics. [ S. l. ] : American Mathematical Society, 1967, 19:19 -32.
  • 9HOARE C A R. An axiomatic basis for computer programming[ J]. Communications of ACM, 1969, 12(10) : 576 - 580.
  • 10COUST P , COUST R . Abstract interpretation : A unified lattice model for static analysis of programs by construction or approximation of fixpoints[ C]// ACM Principles of Programming Languages. New York: ACM Press, 1977:238-252.

共引文献5

科技风
2014年 第14期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部