UTP (Unifying Theories of Programming)

UTP deals with programs denotational, operational and algebraic semantics. It can be combined in a unified framework for the formal specification, design and implementation of programs and computer systems. Those willing to learn the UTP, express ideas, and discuss possible UTP projects, be welcome!

English (United States)