arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 0802.3881cs.DScs.LO
收藏

导出排序算法

Deriving Sorting Algorithms

José Bacelar Almeida, Jorge Sousa Pinto

摘要:

本文提出了三个著名的排序算法,在其功能制定新的推导。我们使用的方法是基于三个主要成分:首先,算法是从一个更简单的算法派生出来的,即规范已经是问题的解决方案(在这个意义上,我们的派生是程序转换)。第二,归纳和共归纳的论点的混合使用在一个统一的,代数的风格在我们的推理。最后,该方法使用结构不变量,以加强与逻辑参数,不能在代数框架中捕获的等式推理。

英文摘要:

This paper proposes new derivations of three well-known sorting algorithms, in their functional formulation. The approach we use is based on three main ingredients: first, the algorithms are derived from a simpler algorithm, i.e. the specification is already a solution to the problem (in this sense our derivations are program transformations). Secondly, a mixture of inductive and coinductive arguments are used in a uniform, algebraic style in our reasoning. Finally, the approach uses structural invariants so as to strengthen the equational reasoning with logical arguments that cannot be captured in the algebraic framework.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑