Formal Derivation and Implementation for the Stone-Merger Algorithm
暂无分享，去创建一个
Begun with the formal functional specification of stone-merger problem, formal derivation method of formal PAR was used. Recurrence formula and loop invariant of the problem naturally was gained. And then an efficient and correct algorithm was derived. Finally, according to the algorithm, the executable program of this problem has been solved.
[1] 薛锦云. Two New Strategies for Developing Loop Invariants and Their Applications , 1993 .
[2] Xue Jinyun,et al. Two new strategies for developing loop invariants and their applications , 1993, Journal of Computer Science and Technology.
[3] 薛锦云. Formal Derivation of Graph Algorithmic Programs Using Partition—and—Recur , 1998 .
[4] Jinyun Xue. A unified approach for developing efficient algorithmic programs , 2008, Journal of Computer Science and Technology.