| 基于PAR的排序算法自动生成研究 |
| 其他题名 | research on automated sorting algorithms generation based on par
|
| 石海鹤; 薛锦云
|
| 2012
|
| 发表期刊 | 软件学报
 |
| ISSN | 1000-9825
|
| 卷号 | 23期号:9页码:2248-2260 |
| 摘要 | 排序是计算机学科中的一类特殊问题,其算法设计策略的灵活性使得求解算法更具多样性.基于形式化方法 PAR(partition-and-recur),研究了排序算法的自动生成问题.刻画了排序问题的代数性质,形式化构建了排序算法领域的泛型类型构件和算法构件,建立了排序领域特定语言和算法生成形式化模型,以参数替换的方式自动生成了一组排序算法,包括快速排序、堆排序、Shell排序等典型的已知算法以及增量选择排序等若干未见于现有文献的算法,并在程序生成系统中予以了实现.通过上层框架研究和底层构件支持,显著提高了特定领域算法的开发效率和可靠性. |
| 收录类别 | CNKI
; WANFANG
|
| 关键词 | 排序算法
自动生成
领域特定语言
形式化模型
Par方法
|
| 部门归属 | 江西省高性能计算重点实验室(江西师范大学);中国科学院软件研究所计算机科学国家重点实验室;中国科学院研究生院;
|
| 资助者 | 国家自然科学基金(61020106009)|科技部国际科技合作项目(2008DFA11940)|江西省自然科学基金(2010GQS0100)|江西省教育厅科技项目(GJJ12199)
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/15395
|
| 专题 | 中国科学院软件研究所
|
推荐引用方式
GB/T 7714 |
石海鹤,薛锦云. 基于PAR的排序算法自动生成研究[J]. 软件学报,2012,23(9):2248-2260.
|
| APA |
石海鹤,&薛锦云.(2012).基于PAR的排序算法自动生成研究.软件学报,23(9),2248-2260.
|
| MLA |
石海鹤,et al."基于PAR的排序算法自动生成研究".软件学报 23.9(2012):2248-2260.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论