An axiomatic basis for computer programming

DOI Web Site Web Site 被引用文献34件

書誌事項

公開日
1969-10
権利情報
  • https://www.acm.org/publications/policies/copyright_policy#Background
DOI
  • 10.1145/363235.363259
公開者
Association for Computing Machinery (ACM)

この論文をさがす

説明

<jats:p>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 advantage, both theoretical and practical, may follow from a pursuance of these topics.</jats:p>

収録刊行物

被引用文献 (34)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ