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 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.
Read more about Unifying Theories Of Programming: Theories, Relations
Famous quotes containing the words unifying, theories and/or programming:
“Seeing our common-sense conceptual framework for mental phenomena as a theory brings a simple and unifying organization to most of the major topics in the philosophy of mind.”
—Paul M. Churchland (b. 1942)
“It takes twenty or so years before a mother can know with any certainty how effective her theories have been—and even then there are surprises. The daily newspapers raise the most frightening questions of all for a mother of sons: Could my once sweet babes ever become violent men? Are my sons really who I think they are?”
—Mary Kay Blakely (20th century)
“If there is a price to pay for the privilege of spending the early years of child rearing in the driver’s seat, it is our reluctance, our inability, to tolerate being demoted to the backseat. Spurred by our success in programming our children during the preschool years, we may find it difficult to forgo in later states the level of control that once afforded us so much satisfaction.”
—Melinda M. Marshall (20th century)