| 意味 |
unifying theories of programmingとは 意味・読み方・使い方
追加できません
(登録数上限)
単語を追加
意味・対訳 プログラミングの統一理論 (英: Unifying Theories of Programming) は、プログラム意味論に関する概念である。
ウィキペディア英語版での「unifying theories of programming」の意味 |
Unifying Theories of Programming
出典:『Wikipedia』 (2011/01/22 12:14 UTC 版)
英語による解説
ウィキペディア英語版からの引用
引用
Unifying Theories of Programming deals with program semantics. It shows how denotational semantics, operational semantics and algebraic semantics can be combined in a unified framework for the formal specification, design and implementation of programs and computer systems.| 意味 |
unifying theories of programmingのページの著作権
英和・和英辞典
情報提供元は
参加元一覧
にて確認できます。
|
Text is available under Creative Commons Attribution-ShareAlike (CC-BY-SA) and/or GNU Free Documentation License (GFDL). Weblio英和・和英辞典に掲載されている「Wikipedia英語版」の記事は、WikipediaのUnifying Theories of Programming (改訂履歴)の記事を複製、再配布したものにあたり、Creative Commons Attribution-ShareAlike (CC-BY-SA)もしくはGNU Free Documentation Licenseというライセンスの下で提供されています。 |
ピン留めアイコンをクリックすると単語とその意味を画面の右側に残しておくことができます。 |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると
|
検索履歴を保存できる！※モジュールの非表示は、から変更可能
みんなの検索ランキング
-
1shipping policy
-
2divot
-
3meet
-
4eight
-
5while
-
6take
-
7feature
-
8confirm
-
9available
-
10square brackets
閲覧履歴
 | 「unifying theories of programming」のお隣キーワード |
weblioの他の辞書でも検索してみる
weblioのその他のサービス
weblioのその他のサービス
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
