Unifying Theories of Programming
This book provides a synthesis of the theory of programming. It aims to use mathematical theory of programming to provide a similar basis for specification, design and implementation of programs. It is wide ranging both in its subject matter and also in its approach and style. The first five chapters justify and introduce the main concepts and methods to be used within the text, relating the goal of unification to the achievements of other branches of science and mathematics. The remaining chapters introduce more advanced programming language features one by one. The main methods of programming are summarised and concluded in a manner suitable for those already familiar with programming semantics. Definitions are accompanied by examples and the theorems by meticulous proof.
21 pages matching operands in this book
Results 1-3 of 21
What people are saying - Write a review
The Challenge of Unification
The Logic of Engineering Design
11 other sections not shown
Unifying Theories of Programming Alphabetised Relational Calculus
Unifying Theories of Programming. 04. Semantics of CSP. failures ..... Unifying Theories of Programming. 33. Thin nondeterminism. P ⊓ Q ⊑ P. P ⊓ Q ⊑ P ...
www.iist.unu.edu/ ICTAC2006/ School/ PresentationSlides/ 4-UTP-1.pdf
LNCS 3929 - Non-termination in Unifying Theories of Programming
Within the Unifying Theories of Programming framework,. program initiation and termination has been modelled by introducing a ...
www.springerlink.com/ index/ vju2pkj63n60k874.pdf
Angelic Nondeterminism and Unifying Theories of Programming
Hoare and He’s unifying theories of programming (UTP) is a model of ... Circus is based on the unifying theories of programming (UTP) [14,22] of Hoare ...
linkinghub.elsevier.com/ retrieve/ pii/ S1571066105050905
STFC epublication Archive
We apply the techniques presented in Hoare and He's Unifying Theories of Programming to reason about the correctness of compilers and schedulers for ...
A Semantic Foundation for TCOZ in Unifying Theories of Programming ...
Unifying Theories of Programming UTP can provide a formal semantic foundation not only for programming languages but also for more expressive specification ...
Retrospective and Prospective for Unifying Theories of Programming
to Unifying Theories of Programming, and some opinions about the ...... 15 carHoare, J.He: Unifying Theories of Programming, Prentice-Hall ...
www.cs.toronto.edu/ ~hehner/ RPUTP.pdf
A ``Grand Challenge'': Unifying Theories of Formal Methods ...
Special sessions are planned on the themes of Unifying Theories of Programming as well as Testing, and submissions for these are welcomed. ...
www2.imm.dtu.dk/ ~db/ formal-methods/ challenges/ utopia/
Home page of Prof. He Jifeng
"Provably Correct System: design and implementation of communication language", mcgraw Hill Publisher, (1994). "Unifying theories of programming" (with Tony ...
cc.ee.ntu.edu.tw/ ~atva03/ members/ He_Jifeng.htm
University of York - Computer Science - Unifying Theory of ...
car Hoare & He Jifeng, Unifying Theories of Programming, Prentice Hall, 1998. *, Carroll Morgan, Programming from Specifications, Prentice Hall, 1990 ...
www.cs.york.ac.uk/ admit/ Modules/ utp.html
citeulike: CSP Is a Retract of CCS
TY - CHAP ID - citeulike:2529725 TI - CSP Is a Retract of CCS JF - Unifying Theories of Programming SP - 38 EP - 62 N2 - Theories of concurrency can be ...
www.citeulike.org/ user/ leonardo/ article/ 2529725