A) In an HOL6 programming language, name is one of the three characteristics of a variable. Define name.

1. The name of a variable is it's value and is stored in main memory.

2. The name of a variable is a dynamically allocated resource and is supplied by the language

3. The name is an identifier, defined by the syntax rules of the language.

4. The name of a variable is a primitive type supplied by the language.

B) How does a recursive function end?

1. The process will terminate when the value of f(n) can be determined for a specific value of n

2. The terminating condition depends on the initial value of f(n)

3. If the value of f(n) > f(n+1)

4. By definition, recursion is infinite.

C) What is the binary coefficient for n=3 and k= 2?

D) What level of abstraction is a C++ program?

1. ASSM5

2. HOL6

3. ISA3

4. APP7