论文部分内容阅读
Ｍｏｎａｄ的研究，目前集中在函数语言领域，且主要研究本身的内部形式和性质等问题，而对Ｍｏｎａｄ与际程序设计语言之间的关系，以及如何用Ｍｏｎａｄ具体构造程序，如何将Ｍｏｎａｄ应用于软件形式化等方面研究得甚少。
Monad表示的OO程序自动生成
【摘 要】
：
Ｍｏｎａｄ的研究，目前集中在函数语言领域，且主要研究本身的内部形式和性质等问题，而对Ｍｏｎａｄ与际程序设计语言之间的关系，以及如何用Ｍｏｎａｄ具体构造程序，如何将Ｍｏｎａｄ应用于软件形式化等方面研究得甚少。
【机 构】
：
吉林大学计算机科学系
【出 处】
：
计算机研究与发展
【发表日期】
：
2000年6期
【基金项目】
：
吉林省科委基金
其他文献
党的先进性建设，是一个蕴涵着崇高价值取向的命题。保持党同人民群众的密切联系，立党为公，执政为民，坚持人民的利益高于一切，是党的先进性建设的根本价值取向。
随着金融创新、技术进步和资本市场一体化的加快 ,金融全球化在迅速发展 ,金融市场的开放度和透明度增强 ,商业银行之间的竞争日趋激烈 ,这就要求商业银行必须实现经营理念的
<数学课程标准>强调培养学生的实践能力和创新能力.学生实践能力和创新能力的提高来源于老师平常润物细无声的教学.教师要挖掘教材中的创新因素,在教学细节中出新意.
前言凡纳滨对虾（Litopenaeus vannamei）又名南美白对虾、白虾，原产于美洲太平洋沿岸水域，主要分布秘鲁北部至墨西哥湾沿岸，以厄瓜多尔沿岸分布最为集中。1988年7月，凡纳滨对虾由中
随着网络化多媒体技术的迅速发展,安全的数据通信与传输需求日益增加,如卫星遥感、医疗图像、远程监控等领域都迫切需要安全的通信与传输.而数据完整性不能完全解决数据传输
通过对纯棉J14.6tex精梳纱生产工艺流程的合理设置和工艺参数调整,力求多唛头组织配棉生产,强化质量控制措施,达到降低产品成本提高产品质量的目的,这是提高企业经济效益和社