首页 | 本学科首页   官方微博 | 高级检索  
     

使递归算法泛型化
引用本文:缪伟宇,邵志清.使递归算法泛型化[J].计算机技术与发展,2008,18(7).
作者姓名:缪伟宇  邵志清
作者单位:华东理工大学信息科学与工程学院,上海,200237
摘    要:对于泛型程序设计来说,类型理论中的参数化多态是其理论框架,因为参数化多态引入了类型变量,使得类型参数化,从而完全支持类型上的抽象.然而对于现行的泛型算法,无论是C 标准模版库中的泛型算法还是基于函数式程序设计语言的算法,函数功能的定义比较具体化、单一化,因而缺乏可扩展性和高度的复用性.将对递归算法进行抽象,构造原始递归构造子,使得一般的泛型算法都可以通过该算子来构造,从而加强泛型算法的可复用型与可扩展性.除此之外,分析了递归算法构造子与泛型程序设计中的iterator概念和用于描叙泛型概念的形式化语言Tecton中所提倡的reuse概念的一致性.也给出算法复杂度的定量分析,并用函数式语言ML来实现.

关 键 词:泛型编程  泛型算法  原始递归  函数式程序设计  递归算法  泛型  Generic  Algorithms  Recursive  函数式语言  定量分析  算法复杂度  一致性  reuse  Tecton  形式化语言  可复用  加强  算子  构造子  原始递归  复用性  高度  可扩展性

Making Recursive Algorithms Generic
MIAO Wei-yu,SHAO Zhi-qing.Making Recursive Algorithms Generic[J].Computer Technology and Development,2008,18(7).
Authors:MIAO Wei-yu  SHAO Zhi-qing
Abstract:
Keywords:
本文献已被 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号