中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Title:
基于PAR的排序算法自动生成研究
Alternative Title: research on automated sorting algorithms generation based on par
Author: 石海鹤 ; 薛锦云
Keyword: 排序算法 ; 自动生成 ; 领域特定语言 ; 形式化模型 ; PAR方法
Source: 软件学报
Issued Date: 2012
Volume: 23, Issue:9, Pages:2248-2260
Indexed Type: CNKI ; WANFANG
Department: 江西省高性能计算重点实验室(江西师范大学);中国科学院软件研究所计算机科学国家重点实验室;中国科学院研究生院;
Sponsorship: 国家自然科学基金(61020106009)|科技部国际科技合作项目(2008DFA11940)|江西省自然科学基金(2010GQS0100)|江西省教育厅科技项目(GJJ12199)
Abstract: 排序是计算机学科中的一类特殊问题,其算法设计策略的灵活性使得求解算法更具多样性.基于形式化方法 PAR(partition-and-recur),研究了排序算法的自动生成问题.刻画了排序问题的代数性质,形式化构建了排序算法领域的泛型类型构件和算法构件,建立了排序领域特定语言和算法生成形式化模型,以参数替换的方式自动生成了一组排序算法,包括快速排序、堆排序、Shell排序等典型的已知算法以及增量选择排序等若干未见于现有文献的算法,并在程序生成系统中予以了实现.通过上层框架研究和底层构件支持,显著提高了特定领域算法的开发效率和可靠性.
Language: 中文
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/15395
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
石海鹤,薛锦云. 基于PAR的排序算法自动生成研究[J]. 软件学报,2012-01-01,23(9):2248-2260.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[石海鹤]'s Articles
[薛锦云]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[石海鹤]‘s Articles
[薛锦云]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2019  中国科学院软件研究所 - Feedback
Powered by CSpace