文献

J-GLOBAL ID：201602013836139862   整理番号：71A0260142

自動プログラミング

Toward automatic program synthesis.

著者 (2件)： MANNA Z ,  WALDINGER R
資料名： Commun ACM (Assoc Comput  (Communications of the ACM (Association for Computing Machinery))
巻： 14  号： 3  ページ： 151-165  発行年： 1971年 
JST資料番号： B0330B  ISSN： 0001-0782  CODEN： CACMA   資料種別： 逐次刊行物 (A)
記事区分： 解説  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 自動プログラミングについて細い技術的な点は省略して,その輪郭を理論的、数学的に述べた。すなわちリスト構造または木構造の回帰的よたはしのプログラムを自動的に組立る方法について述べた。そのための数単的理論について説明し,ループをもつプログラムなどの作成には,数学的理論つ適用が必要である点を強調した。数学的証明の渦程とプログラム構成とを対比させて説明した;写図13参29

シソーラス用語： 自動プログラミング
準シソーラス用語： 推論 ,  定理証明

タイトルに関連する用語 (1件)： 自動プログラミング