Given the following Pascal like program segment:

Procedure A;

     x,y:intger;

     Procedure B;

            x,z:real;

            S1

     end B;

     Procedure C;

            i:integer;

            S2;

     end C;

end A;

The variables accessible in S1 and S2 are

The correct matching for the following pairs is

List - I
(A) Activation record
(B) Location counter
(C) Reference counts
(D) Address relocation

List - II
(1) Linking loader
(2) Garbage collection
(3) Subroutine call
(4) Assembler

In which one of the following cases is it possible to obtain different results for call-by-reference and call-by-name parameter passing methods?

Match the pairs in the following:

List - I

(A) Pointer data type
(B) Activation record
(C) Repeat-until
(D) Coercion

List - II

(p) Type conversion
(q) Dynamic data structure
(r) Recursion
(s) Nondeterministic loop