test4.out

this is a lp0 compilator new

::::::::::::::
test4.pas
::::::::::::::
PROGRAM Compx_Test;

VAR
  x, y, j 		: INTEGER;

PROCEDURE Procedure_Y (VAR a, b : INTEGER );

VAR
   c			: INTERGER;

BEGIN
   c := a * b;
END;

PROCEDURE Procedure_X (VAR a, b : INTEGER );

VAR
   c			: INTERGER;

BEGIN
   c := a + b;
   Procedure_Y ( a, b );
END;


BEGIN

   x := 10;
   y := 20;

   FOR j := 1 TO ( x + y + 2 ) DO
      FOR i := 1 to j DO 
         BEGIN
            y := y + 1;
            x := x + y;
            Procedure_X ( x, y );
         END;

END.

::::::::::::::
compx.sym
::::::::::::::


Symbol Table for Pascal source code...
-----------------------------------
1(undefined)
10(undefined)
2(undefined)
20(undefined)
a(undefined)
b(undefined)
c(variable)
compx_test(program)
i(undefined)
integer(undefined)
interger(undefined)
j(variable)
procedure_x(procedure)	[Maple Function Name = b(n)]
procedure_y(procedure)	[Maple Function Name = a(n)]
x(variable)
y(variable)

::::::::::::::
compx.mpl
::::::::::::::
assign ( rsolve ( b(n)=1+1+1+a(n), b(n) ) );
assign ( rsolve ( a(n)=1+1+1, a(n) ) );
assign ( rsolve ( f(n)=1+1+1+1+1+1+1+1+sum (1+1+sum (1+1+1+1+1+1+b(n), i=1..j), j=1..( x+y+2 )), f(n) ) );