Question

For the given program determine what is printed after each write statement assuming static scoping, deep binding and parameters are passed-by-value-result.

program main;
   var X: integer;
   procedure Q(var I: integer; function R(J: integer):integer);
            var X: integer;
            begin
             X:=4;
             write(“In Q, before call of R, I=”, I, “X=”, X);
             I=R(I);
             write(“In Q, after call of R, I=”, I, “X=”, X);
          end;
       procedure P;
           var I: integer;
           function F(K: integer):integer;
              begin
              X:=X+K;
              F:=I+K;
              write(“In F, I=”,I, “K =”, K, “X=”,X);
             end;
         begin;
           I:=2;
         Q(X, F);
           write(“In P, I=”, I, “X=”, X);
        end;
begin
X:=7;
P;
write(“In Main, “X=”,X);
end.

Answer 1