荷兰国旗问题的形式化推导及其多态性实现  

Formal derivation and implementation with polymorphism of the problemof Dutch national flag

作　　者：李云清[1] 

机构地区：[1]江西师范大学计算机科学技术学院,南昌330027

出　　处：《计算机工程与设计》2002年第8期72-74,77,共4页Computer Engineering and Design

基　　金：国家自然科学基金资助项目(No.69983003);江西省教育厅科技项目和江西师范大学科研项目。

摘　　要：讨论了程序功能规约变换和算法程序的形式化技术。通过功能规约变换,可以较自然地获得问题求解的递推关系,对荷兰国旗问题的求解过程显示了形式化推导在获得高效和正确的算法程序中的作用。最后,给出了问题求解的多态性实现。The technology of program specification transformation and derivation of algorithm program are discussed. By transforming function specification, the recurrence relation of problem-solving , can be easily and naturally obtained . The results that solve the problem of Dutch national flag show the effect of obtaining efficient and correct algorithmic program using formal derivation. Lastly, the problem of Dutch national flag is implemented with polymorphism.

关 键 词：形式化技术 问题求解 算法 规约 程序功能 显示 变换 推导 递推关系 正确 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论] TP393[自动化与计算机技术—计算机科学与技术]