Weblio英和対訳辞書

英和辞典・和英辞典 - Weblio辞書

Unifying Theories of Programming

プログラミングの統一理論
プログラミングの統一理論 (英: Unifying Theories of Programming) は、プログラム意味論に関する概念である。
Weblio英和対訳辞書はプログラムで機械的に意味や英語表現を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。
調べた例文を記録して、効率よく覚えましょう
Weblio会員無料で登録できます
履歴機能 過去に調べた単語を確認できる
語彙力診断 診断回数が4回に増加
マイ単語帳 便利な学習機能付き
マイ例文帳 文章で意味を理解できる
Weblio会員登録(無料)はこちらから▶

ウィキペディア英語版

出典：Wikipedia

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のページの著作権