基于PAR的排序算法自动生成研究

摘要：

排序是计算机学科中的一类特殊问题,其算法设计策略的灵活性使得求解算法更具多样性.基于形式化方法PAR(partition-and-recur),研究了排序算法的自动生成问题.刻画了排序问题的代数性质,形式化构建了排序算法领域的泛型类型构件和算法构件,建立了排序领域特定语言和算法生成形式化模型,以参数替换的方式自动生成了一组排序算法,包括快速排序、堆排序、Shell排序等典型的已知算法以及增量选择排序等若干未见于现有文献的算法,并在程序生成系统中予以了实现.通过上层框架研究和底层构件支持,显著提高了特定领域算法的开发效率和可靠性.

关键词：排序算法、自动生成、领域特定语言、形式化模型、PAR方法

所属期刊栏目：23

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

资助基金：国家自然科学基金61020106009;科技部国际科技合作项目2008DFA11940;江西省自然科学基金2010GQS0100;江西省教育厅科技项目GJJ12199

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

页数：共13页

页码：2248-2260