| Monad表示的OO程序自动生成 |
| |
| 引用本文： | 袁琦,金成植. Monad表示的OO程序自动生成[J]. 计算机研究与发展, 2000, 37(6): 668-671 |
| |
| 作者姓名： | 袁琦 金成植 |
| |
| 作者单位： | 吉林大学计算机科学系,长春,130023 |
| |
| 摘 要： | Ｍｏｎａｄ的研究，目前集中在函数语言领域，且主要研究本身的内部形式和性质等问题，而对Ｍｏｎａｄ与际程序设计语言之间的关系，以及如何用Ｍｏｎａｄ具体构造程序，如何将Ｍｏｎａｄ应用于软件形式化等方面研究得甚少。
|
| 关 键 词： | Monad CLass 面向对象 程序自动生成 |
TRANSFORMING MONAD REPRESENTING TO OO PROGRAMS |
| |
| YUAN Qi,JIN Cheng-Zhi. TRANSFORMING MONAD REPRESENTING TO OO PROGRAMS[J]. Journal of Computer Research and Development, 2000, 37(6): 668-671 |
| |
| Authors: | YUAN Qi JIN Cheng-Zhi |
| |
| Abstract: | The research on Monad is now mainly focusing on functional programming languages,and is mainly about problems on its internal form and features. Yet referring to the relation of Monad to practical programming languages, there is little mention of how to construct programs with Monad and how to apply Monad in software formalization. This paper is concerned with the relation between Monad technique and OO technique, with emphasis on the relation between Monad and Class. And furthermore, one way to transforming Monad into Class (C ) ispresented. |
| |
| Keywords: | Monad Class Comprehension |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
