Formal Derivation of the Minimum Spanning Tree Algorithm with PAR Method
Jinyun Xue · Jisuanji gongcheng · 2006
This paper uses PAR method to derivate the readable and efficient recursive minimum spanning tree algorithm formally by transforming function specification.This method simplifies the process of algorithmic program’s design and correctness testifying,and effectively improves the automatization,standardization and correctness of algorithmic program’s design.It gives the implementation of the algorithm in automatic program transformation system of PAR platform.