プログラミングの統一理論
1. Unifying Theories of ProgrammingUnifying 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. The book of this title by C.A.R. Hoare and He Jifeng was published in the Prentice Hall International Series in Computer Science in 1998.
Read “Unifying Theories of Programming” on English Wikipedia
Read “プログラミングの統一理論” on Japanese Wikipedia
Read “Unifying Theories of Programming” on DBpedia
Read “Unifying Theories of Programming” on English Wikipedia
Read “プログラミングの統一理論” on Japanese Wikipedia
Read “Unifying Theories of Programming” on DBpedia
Discussions
Log in to talk about this word.