Monad表示的OO程序自动生成

摘要：

Monad的研究,目前集中在函数语言领域,且主要研究本身的内部形式和性质等问题,而对Monad与实际程序设计语言之间的关系,以及如何用Monad具体构造程序,如何将Monad应用于软件形式化等方面研究得甚少.探讨了Monad技术与OO技术之间的关系,主要研究Monad与Class之间的关系,并给出从Monad到Class(C++)的一种转换方法.

关键词：Monad、Class、Comprehension

所属期刊栏目：37

分类号：TP311(计算技术、计算机技术)

资助基金：吉林省科技厅科研项目

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：668-671