Declarations and Types

The following is an invalid µOCCAM program. This program assigns an integer value to a CHAN variable and also uses a variable which has not been declared.

Program file: /public/cs3/web/ipptests/declarations_and_types.reject

INT var1:
CHAN var2:

SEQ
  var1 := 1
  var2 := 2
  var3 := var1 + var2