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

このタイトルの書籍は、アントニー・ホーアおよびHe JifengによってPrentice Hall International Series in Computer Scienceから1998年に出版された。
Q1437428
プログラム意味論
Concept
Q1189746
表示的意味論
Concept
Q1930895
操作的意味論
Concept
代数的意味論
UNK
Q792533
公理的意味論
Concept
Q40056
プログラム
Concept
Q13407144
コンピュータシステム
Concept
Q1437424
形式仕様記述
UNK
Q92602
アントニー・ホーア
PER
He Jifeng
UNK
Prentice Hall International Series in Computer Science
UNK
Q3513774
プログラミングの統一理論
MEDIA
22-01-01T00:00:00Z^^http://www.w3.org/2001/XMLSchema#dateTime
1998年
DATE
author