The following is a valid µOCCAM program. This is a test of paralel computing facilities provided by micro occam. This piece of code makes 3 assignements in parralel. These assignements have been chosen so that different results occur depending $ the order in which the statements are actually executed. once the assignments have been made the results are printed to the stdio c$
/public/cs3/web/ipptests/partest.accept
-- paralelism test
INT x:
INT y:
INT z:
SEQ
SEQ
x := 50
y := 50
z := 50
PAR
x := z + y
y := x + z
z := x + y
stdout ! x
stdout ! y
stdout ! z
STOP