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

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

このタイトルの書籍は、アントニー・ホーアおよびHe JifengによってPrentice Hall International Series in Computer Scienceから1998年に出版されたC.A.R. Hoare and He Jifeng, Unifying Theories of Programming, Prentice Hall International Series in Computer Science, 1998. ISBN 0-13-458761-8.。

 脚注 

Category:1998年の書籍
Category:コンピュータの文献
Category:ソフトウェア工学
Category:プログラム意味論
Category:形式手法