research on automated sorting algorithms generation based on par
文献类型：期刊论文
| 作者 | Shi Hai-He ; Xue Jin-Yun |
| 刊名 | Ruan Jian Xue Bao/Journal of Software
 |
| 出版日期 | 2012 |
| 卷号 | 23期号:9页码:2248-2260 |
| 关键词 | Automation Formal methods Sorting |
| ISSN号 | 1000-9825 |
| 中文摘要 | Sorting is a kind of special problem in computer science. The flexibility of whose algorithm design tactics leads to the diversity of sorting algorithms. Based on the formal method PAR (partition-and-recur), an automated sorting algorithm generation is studied. The algebraic property of sorting problem is described, generic type components and algorithm components are formally developed, and domain specific language and a formal algorithm generative model are designed. Through replacing the generic identifiers with a few concrete operations a series of known and unknown sorting algorithms, such as quick sort, heap sort, shell sort, and increment select sort, etc., are automatically generated, which is supported by the enhanced program generation system. Through the super framework and underlying components, the reliability and productivity of domain specific algorithm have dramatically improved. © 2012 ISCAS. |
| 英文摘要 | Sorting is a kind of special problem in computer science. The flexibility of whose algorithm design tactics leads to the diversity of sorting algorithms. Based on the formal method PAR (partition-and-recur), an automated sorting algorithm generation is studied. The algebraic property of sorting problem is described, generic type components and algorithm components are formally developed, and domain specific language and a formal algorithm generative model are designed. Through replacing the generic identifiers with a few concrete operations a series of known and unknown sorting algorithms, such as quick sort, heap sort, shell sort, and increment select sort, etc., are automatically generated, which is supported by the enhanced program generation system. Through the super framework and underlying components, the reliability and productivity of domain specific algorithm have dramatically improved. © 2012 ISCAS. |
| 收录类别 | EI |
| 语种 | 中文 |
| 公开日期 | 2013-09-17 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/15139]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | Shi Hai-He,Xue Jin-Yun. research on automated sorting algorithms generation based on par[J]. Ruan Jian Xue Bao/Journal of Software,2012,23(9):2248-2260. |
| APA | Shi Hai-He,&Xue Jin-Yun.(2012).research on automated sorting algorithms generation based on par.Ruan Jian Xue Bao/Journal of Software,23(9),2248-2260. |
| MLA | Shi Hai-He,et al."research on automated sorting algorithms generation based on par".Ruan Jian Xue Bao/Journal of Software 23.9(2012):2248-2260. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。