咨询与建议

看过本文的还看了

相关文献

该作者的其他文献

文献详情 >An Axiomatic Basis for Compute... 收藏

An Axiomatic Basis for Computer Programming

计算机编程的一个公理的基础

作     者:Hoare, C.A.R. 

作者机构:Queen's University of Belfast Northern Ireland United Kingdom 

出 版 物:《Communications of the ACM》 (Commun. ACM)

年 卷 期:1983年第26卷第1期

页      面:53-56页

学科分类:0810[工学-信息与通信工程] 0808[工学-电气工程] 08[工学] 0812[工学-计算机科学与技术(可授工学、理学学位)] 

主  题:axiomatic method formal language definition machine-independent programming program documentation programming language design proofs of program proofs of programs theory of programming 

摘      要:In this paper an attempt is made to explore the logical foundations of computer programming by use of techniques which were first applied in the study of geometry and have later been extended to other branches of mathematics. This involves the elucidation of sets of axioms and rules of inference which can be used in proofs of the properties of computer programs. Examples are given of such axioms and rules, and a formal proof of a simple theorem is displayed. Finally, it is argued that important advantages, both theoretical and practical, may follow from a pursuance of these topics. © 1983, ACM. All rights reserved. © 1983, ACM. All rights reserved.

读者评论 与其他读者分享你的观点

用户名:未登录
我的评分