您的位置： 专家智库 > >

江西省自然科学基金(2010GQS0100)

作品数：1 被引量：12H指数：1
相关作者：薛锦云石海鹤更多>>
相关机构：江西师范大学中国科学院软件研究所中国科学院研究生院更多>>
发文基金：国际科技合作与交流专项项目江西省自然科学基金国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇自动生成
  • 1篇PA
  • 1篇PAR

机构

  • 1篇江西师范大学
  • 1篇中国科学院研...
  • 1篇中国科学院软...

作者

  • 1篇石海鹤
  • 1篇薛锦云

传媒

  • 1篇软件学报

年份

  • 1篇2012
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于PAR的排序算法自动生成研究被引量：12
2012年
排序是计算机学科中的一类特殊问题,其算法设计策略的灵活性使得求解算法更具多样性.基于形式化方法 PAR(partition-and-recur),研究了排序算法的自动生成问题.刻画了排序问题的代数性质,形式化构建了排序算法领域的泛型类型构件和算法构件,建立了排序领域特定语言和算法生成形式化模型,以参数替换的方式自动生成了一组排序算法,包括快速排序、堆排序、Shell排序等典型的已知算法以及增量选择排序等若干未见于现有文献的算法,并在程序生成系统中予以了实现.通过上层框架研究和底层构件支持,显著提高了特定领域算法的开发效率和可靠性.
石海鹤薛锦云
关键词：自动生成
全选 清除 导出
共1页<1>
聚类工具0