Unifying Theories of Programming: Difference between revisions

Revision as of 02:57, 9 December 2011

Revision as of 16:45, 1 July 2012

Line 1:

<!-- Please do not remove or change this AfD message until the issue is settled -->

{{Article for deletion/dated|page=He Jifeng|timestamp=20120701164552|year=2012|month=July|day=1|substed=yes}}

<!-- For administrator use only: {{Old AfD multi|page=He Jifeng|date=1 July 2012|result='''keep'''}} -->

<!-- End of AfD message, feel free to edit beyond this point -->

'''''Unifying 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 [[Computer program|program]]s and [[computer system]]s.