journal6 ›› 2001, Vol. 22 ›› Issue (4): 54-56.

• Mathematics • Previous Articles     Next Articles

Formal Derivation Method of Programs


  1. ( 1. Department of Mathematics and Computer Sciences, Joshou University , Jishou 416000, Hunan China;2. Dept. of Educational Administration of Jishou University, Jishou 416000, Hunan China)
  • Online:2001-12-15 Published:2013-01-05

Abstract: This paper expounds the basic theory and basic ideas of Formal derivation method of programs. Formal devivation of programs is a developing method of programs based on the proof theory of program correctness. It can make the proof process and the devolopment of the program in progress in the meantime. And this paper illustrates how to use formal derivation of programs.

Key words: formal derivation method of programs, program specification, loop invariant, boundary function

WeChat e-book chaoxing Mobile QQ