SmallProgImpl:
CEDAR
PROGRAM =
BEGIN
DummyFunctionA:
PUBLIC
PROC [x, y:
INT]
RETURNS [z:
INT] = {
z ← x+y;
};
DummyFunctionB:
PUBLIC
PROC [x, y:
INT]
RETURNS [z:
INT] = {
z ← x*y;
};
DummyFunctionC:
PUBLIC
PROC [x, y:
INT]
RETURNS [z:
INT] = {
z ← x*y+(x-y);
};
w: INT;
w ← DummyFunctionA[1, 2] + DummyFunctionB[2, 3] + DummyFunctionC[3, 4];
END.