プログラミングの統一理論とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > プログラミングの統一理論の意味・解説 

プログラミングの統一理論

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/10/03 00:45 UTC 版)

Jump to navigation Jump to search

プログラミングの統一理論 (: Unifying Theories of Programming) は、プログラム意味論に関する概念である。これは、表示的意味論操作的意味論および代数的意味論公理的意味論の一種)がプログラムコンピュータシステム形式仕様記述、設計および実装についての統一的なフレームワーク内でどのように結びつけられるかを示す。

このタイトルの書籍は、アントニー・ホーアおよびHe JifengによってPrentice Hall International Series in Computer Scienceから1998年に出版された[1]

脚注




英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

プログラミングの統一理論のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



プログラミングの統一理論のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのプログラミングの統一理論 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS