从概念到现实：利用构造正确性改进算法设计

IF 2 4区计算机科学 Q3 COMPUTER SCIENCE, HARDWARE & ARCHITECTURE

Computer Pub Date : 2024-06-27 DOI:10.1109/mc.2024.3390948

Tabea Bordis, Maximilian Kodetzki, Ina Schaefer

引用次数: 0

摘要

算法对正确性和效率都有要求，但在算法构建过程中，形式化方法往往缺乏对确保这些基本属性的支持。本文介绍了 "按构造求正确性"（CbC）开发方法，它通过迭代改进步骤促进算法设计，从而构建出正确而高效的算法。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

From Concept to Reality: Leveraging Correctness-by-Construction for Better Algorithm Design

Algorithms demand both correctness and efficiency, but formal methods often lack support for ensuring these essential properties during algorithm construction. This article introduces correctness-by-construction (CbC) development which facilitates algorithm design through iterative refinement steps enabling the construction of correct and efficient algorithms.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Computer 工程技术-计算机：软件工程

CiteScore

3.90

自引率

4.50%

发文量

378

审稿时长

12 months

期刊介绍： Computer, the flagship publication of the IEEE Computer Society, publishes peer-reviewed articles written for and by computer researchers and practitioners representing the full spectrum of computing and information technology, from hardware to software and from emerging research to new applications. The aim is to provide more technical substance than trade magazines and more practical ideas than research journals. Computer seeks to deliver useful information for all computing professionals and students, including computer scientists, engineers, and practitioners of all levels.