Two new strategies for developing loop invariants and their applications

  • Jinyun Xue
  • Published 1993 in Journal of Computer Science and Technology


The loop invariants take a very important role in the design, proof and derivation of the algorithmic program. We point out the limitations of the traditional standard strategy for developing loop invariants, and propose two new strategies for proving the existing algorithmic program and developing new ones. The strategies use recurrence as vehicle and… (More)
DOI: 10.1007/BF02939477


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics