Content deleted Content added
→cite book, journal, tweak cites | Alter: chapter-url, isbn. URLs might have been anonymized. Add: s2cid. Upgrade ISBN10 to 13. | Use this tool. Report bugs. | #UCB_Gadget |
Links, infobook. metadata |
||
Line 1:
{{short description|Formal semantics and 1998 book}}
'''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.▼
{{use dmy dates|date=June 2025}}
{{use British English|date=June 2025}}
{{italic title}}
{{Infobox book
| italic title = Unifying Theories of Programming
| name = Unifying Theories of Programming
| image =
| image_size =
| border =
| alt =
| caption =
| author = [[C. A. R. Hoare]]<br/>[[He Jifeng]]
| audio_read_by =
| title_orig =
| orig_lang_code =
| title_working =
| translator =
| illustrator =
| cover_artist =
| country = [[United Kingdom]]
| language = [[English language|English]]
| series = Series in Computer Science
| release_number =
| subject =
| genre = Scientific non-fiction
| set_in =
| publisher = [[Prentice Hall]]
| publisher2 =
| pub_date = 1998
| english_pub_date =
| published =
| media_type =
| pages = xix+298
| awards =
| isbn = 0-13-458761-8
| isbn_note =
| oclc =
| dewey = 005.1/01
| congress = QA76.6. .H5735 1998
| preceded_by = <!-- for books in a series -->
| followed_by = <!-- for books in a series -->
| native_wikisource =
| wikisource =
| notes =
| exclude_cover =
| website = [https://web.archive.org/web/20161007215026/http://unifyingtheories.org/ unifyingtheories.org]
| module =
}}
▲'''''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]] was published in the [[Prentice Hall International Series in Computer Science]] in 1998 and is now freely available on the web.<ref>{{cite book |author-link=C.A.R. Hoare |last1=Hoare|first1=C. A. R.|last2=Jifeng|first2=He|title=Unifying Theories of Programming|date=April 1, 1998|publisher=Prentice Hall |isbn=978-0-13-458761-5|pages=320|url=http://www.unifyingtheories.org/|accessdate=17 September 2014}}</ref>▼
▲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 and
==Theories==
The semantic foundation of the UTP is the [[first-order predicate calculus]], augmented with fixed
<blockquote>A computer program is identified with the strongest predicate describing every relevant observation that can be made of the behaviour of a computer executing that program.<ref>{{cite journal |last1=Hoare|first1=C.A.R. |title=Programming: Sorcery or science? |journal=[[IEEE Software]] |volume=1 |issue=2 |pages=5–16 |date=April 1984 |doi=10.1109/MS.1984.234042|s2cid=375578 }}</ref></blockquote>
Line 63 ⟶ 113:
* [http://www.unifyingtheories.org/ UTP book website]
* [https://web.archive.org/web/20161007215026/http://unifyingtheories.org/ UTP book] on [[Archive.org]]
* [https://openlibrary.org/books/OL351206M/Unifying_theories_of_programming UTP book] in the [[Internet Archive]] Open Library
[[Category:1998 non-fiction books]]
| |||