Chapter 1, Problem 13RQ

Explanation of Solution

Importance of type-checking of parameters of a sub-program:

Type checking means the type of the parameters passed to a subprogram should be cross checked against the formal parameters of the subprogram.

• It is extremely important to check the type of parameters to maintain the reliability of the code.
• If type checking is not present in a language, it can produce erroneous results. Programs terminated unexpectedly.
• The type checking can be done either at compile time or run time. Type checking at run time means the type of parameters is checked during the compilation of the program.
• While type checking at run time means that the type of parameters is checked at the run time...