Example of an Imperative Action

Action: 


|allocate a cell
then
|give the integer stored in the cell bound to "x"
Informal description:

This action fail because no binding from "x" to the allocatd cell was made.

Try this action using Java ANI.

RAT| People

[Created by Luis Carlos. Last edited at 16 Apr 2004 by Luis Carlos]