THE LAWS OF OCCAM PROGRAMMING
A. W. Roscoe and C.A.R Hoare
Abstract
One of the attractive features of occam is the large number of memorable algebraic laws which exist relating programs. We investigate these laws and, by discovering a normal form for WHILE-free programs, show that they completely characterise the language's semantics.
Institution
OUCL
Month
February
Number
PRG53
Pages
90
Year
1986