About this paperEnglishTiếng Việt日本語beside Englishbeside Tiếng Việtbeside 日本語
This paper is under a licence that does not allow it to be reproduced, so what is here is its front matter and a short abstract. Read it at the publisher's page.
计算机程序设计的公理基础
C. A. R. Hoare 贝尔法斯特女王大学，* 北爱尔兰
本文试图运用最初应用于几何学研究、后来扩展到数学其他分支的技术，探索计算机程序设计的逻辑基础。这涉及阐明一组公理和推理规则，可用于证明计算机程序的性质。文中给出了这类公理和规则的实例，并展示了一个简单定理的形式化证明。最后，本文指出，继续开展这些研究可能带来重要的理论和实践益处。
关键词和短语：公理化方法，程序设计理论，程序证明，形式化语言定义，编程语言设计，机器无关的程序设计，程序文档 CR 分类：4.0，4.21，4.22，5.20，5.21，5.23，5.24
Read off the page by a vision model reading the page images using olmOCR-2-7B-1025-FP8. Translated into 中文 by gpt-5, against glossary version 6. Translated from the English.