文献

J-GLOBAL ID：201602019168173679   整理番号：70A0262191

計算機プログラミングの公理的基礎

An axiomatic basis for computer programming.

著者 (1件)： HOARE C A R
資料名： Commun ACM (Assoc Comput  (Communications of the ACM (Association for Computing Machinery))
巻： 12  号： 10  ページ： 576-580,583  発行年： 1969年 
JST資料番号： B0330B  ISSN： 0001-0782  CODEN： CACMA   資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 計算機プログラミングは,プログラムの全性質と,ある環境下でそれが実行された結果が,純粋に演えき法により,プログラム自身の文章から見い出せるという意味で,精密科学の一つといえる。本文は,計算機プログラミングの論理的基礎を数学的思考を用いて解明しようとするもので,公理系の証明を含んでいる;表3参9

シソーラス用語： プログラム理論

タイトルに関連する用語 (3件)： 計算機プログラミング ,  公理 ,  基礎