论文部分内容阅读
本文指出了算法形式化推导在程序设计和软件复用中的作用.通过对算法程序的功能规约进行等价变换,自然而且方便地得到求解问题的设计思想的精确表达,即循环不变式.通过对数组段极值问题的求解,展示了形式化推导不仅可以得到正确、高效的算法程序,而且具有软件复用的功能,并进一步给出了数组段极值问题的多态性实现.