Unifying Theories of Programming: Difference between revisions

Revision as of 09:51, 13 June 2025

Latest revision as of 08:48, 30 July 2025

(One intermediate revision by one other user not shown)

Line 51:

'''''Unifying Theories of Programming''''' ('''UTP''') in [[computer science]] deals with [[program semantics]]. It shows how [[denotational semantics]], [[operational semantics]] and [[algebraic semantics (computer science)|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.

The book of this title by [[C.A.R. Hoare]] and [[He Jifeng]]<ref>{{cite book| chapter=Hoare and He's Unifying Theories of Programming | first=Jim | last=Woodcock | author-link=Jim Woodcock | title=Theories of Programming: The Life and Works of Tony Hoare | date=October 2021 | pages=285–316 | doi=10.1145/3477355.3477369 | publisher=[[Association for Computing Machinery]] | editor-first1=Cliff B. | editor-last1=Jones | editor-link1=Cliff Jones (computer scientist) | editor-first2=Jayadev | editor-last2=Misra | editor-link2=Jayadev Misra }}</ref> was published in the [[Prentice Hall International Series in Computer Science]] in 1998 and ihashas been made freely available on the web.<ref>{{cite book |author-linklink1=C.A.R. Hoare |last1=Hoare|first1=C. A. R.|last2=Jifeng|first2=He|author-link2=He Jifeng|title=Unifying Theories of Programming|date=April 1, 1998|publisher=Prentice Hall |isbn=978-0-13-458761-5|pages=320|url=http://unifyingtheories.org/|accessdate=7 October 2016|archive-date=7 October 2016|archive-url=https://web.archive.org/web/20161007215026/http://unifyingtheories.org/|accessdateurl-status=7bot: October 2016unknown}}</ref>

A UTP Symposium series was started in 2006.<ref>{{cite book| editor-first1=Steve | editor-last1=Dunne | editor-first2=Bill | editor-last2=Stoddart | title=Unifying Theories of Programming: First International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5–7, 2006 | date=2006 | publisher=[[Springer Science+Business Media|Springer]] | series=[[Lecture Notes in Computer Science]] | url=https://link.springer.com/content/pdf/10.1007/11768173.pdf | doi=10.1007/11768173 }}</ref>

==Theories==

Line 108 ⟶ 110:

==Further reading==

*{{cite book |author1-link=Jim Woodcock |first1=Jim |last1=Woodcock |first2=Ana |last2=Cavalcanti |volume=2999 |series=[[Lecture Notes in Computer Science]], pages |chapter=A tutorial introduction to designs in Unifying Theories of Programming |chapter-url=https://kar.kent.ac.uk/14036/1/A_Tutorial_Introduction_to_Designs_in.pdf |title=Integrated Formal Methods |publisher=Springer |date=2004 |isbn=978-3-540-21377-2 |pages=40–66 |doi=10.1007/978-3-540-24756-2_4}}

*{{cite book |first1=Ana |last1=Cavalcanti |first2=Jim |last2=Woodcock |volume=3167 |series=Lecture Notes in Computer Science |chapter=A tutorial introduction to CSP in Unifying Theories of Programming |chapter-url=https://www.cs.york.ac.uk/ftpdir/pub/leo/utp/tutorials/utp-tutorial-CSP.pdf |title=Refinement Techniques in Software Engineering |publisher=Springer |date=2006 |isbn= 978-3-540-46253-8 |pages=220–268 |doi=10.1007/11889229_6 }}{{Dead link|date=July 2025 |bot=InternetArchiveBot |fix-attempted=yes }}

==External links==