The Study on Extraction Loop program Based on Mathematical Induction
Bai Yunhui · Computer Programming Skills & Maintenance · 2009
In general, design of program can be treated as theorem proving, so program synthesis has close relations with automatic theorem proving. Essentially, not all of the proving of resolution principle is constructive so not all loop program canbe extracted form the proving. But loop program can be extracted from the proving of resolution principle with the aid ofmathematical induction. In this paper, the aid of mathematical induction is used to extract..