| 荷兰国旗问题的形式化推导及其多态性实现 |
| |
| 引用本文： | 李云清. 荷兰国旗问题的形式化推导及其多态性实现[J]. 计算机工程与设计, 2002, 23(8): 72-74,77 |
| |
| 作者姓名： | 李云清 |
| |
| 作者单位： | 江西师范大学计算机科学技术学院,南昌,330027 |
| |
| 基金项目： | 国家自然科学基金资助项目（No.69983003），江西省教育厅科技项目和江西师范大学科研项目。 |
| |
| 摘 要： | 讨论了程序功能规约变换和算法程序的形式化技术，通过功能规约变换，可以较自然地获得问题求解的递推关系，对荷兰国旗问题的求解过程显示了形式化推导在获得高效和正确的算法程序中的作用。最后，给出了问题求解的多态性实现。
|
| 关 键 词： | 形式化推导 规约 变换 算法 |
| 文章编号： | 1000-7024(2002)08-0072-03 |
Formal derivation and implementation with polymorphism of the problem of Dutch national flag |
| |
| LI Yun-qing. Formal derivation and implementation with polymorphism of the problem of Dutch national flag[J]. Computer Engineering and Design, 2002, 23(8): 72-74,77 |
| |
| Authors: | LI Yun-qing |
| |
| Abstract: | 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. |
| |
| Keywords: | formal derivation specification transformation algorithm |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
