Abstract: Due to the creative work involved, the development of algorithmic programs is still one of the most challenging problems in computer field. In order to improve algorithmic programs＇ reliability and productivity, people are turning to the automation of its

Key words: Algorithmic program transformation, Automation, Formal method, Algorithm design