Unifying Theories of Programming
108
浏览
0
关注

Unifying Theories of Programming (UTP) 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 Computer program|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.
主要的会议/期刊
演化趋势
Chart will load here
Unifying Theories of Programming文章数量变化趋势

Feedback
Feedback
Feedback
我想反馈:
排行榜