Monad及其在软件技术中的应用

批准号：

60073041

项目类别：

面上项目

资助金额：

15.0 万元

负责人：

金成植

依托单位：

吉林大学

学科分类：

系统软件、数据库与工业软件

结题年份：

2003

批准年份：

2000

项目状态：

已结题

项目参与者：

刘磊、张长海、高玉兰、袁琦、金英、郑晓娟

关键词：

反射范畴论.单体模.

项目摘要

结项摘要

金成植的其他基金

相似基金

相关文献

中文摘要

研究基于Monad的程序构造、软件重用和软件形式化方法，以及Monad支撑环境。Monad既有范畴抽象性、反射性、重用性和良好的计算构架，又易于自动实现扩充修改的优点onad技术的出现使范畴论思想在计算机科学中的应用已成为现实，并且它将给计算机软件领域带来新概念、新方法和新技术，因此可望得到广泛的应用。

英文摘要

对象式语言的部分求值技术及在编译器自动生成中的应用

批准号：

69473029
项目类别：

面上项目
资助金额：

7.0万元
批准年份：

1994
负责人：

金成植
依托单位：

吉林大学

过程式语言的部分求值技术及其应用

批准号：

69173327
项目类别：

面上项目
资助金额：

4.0万元
批准年份：

1991
负责人：

金成植
依托单位：

吉林大学

函数式语言的部分求值及其在编译器自动生成中的应用

批准号：

69073312
项目类别：

面上项目
资助金额：

3.0万元
批准年份：

1990
负责人：

金成植
依托单位：

吉林大学

国内基金

海外基金