ICD5 - Type Checking

Question 1

When type checking done during program execution, the type system is called ANSWER.

Answer 1

dynamic typing

Question 2

When type checking done during program compilation, the type system is called ANSWER.

Answer 2

static typing

Question 3

ANSWER typing is when the language implementation ensures that the arguments of an operation are of the type the operation is defined for.

Answer 3

Strong

Question 4

ANSWER is the data structure used in language translation to track the binding of variables and functions to their type.

Answer 4

A symbol table

Question 5

The different traversals of a syntax tree done during compilation associate information with the nodes of the tree. The technical term for this kind of information is ANSWER.

Answer 5

attributes

Question 6

ANSWER means that the language allows the same name to be used for different operations over different types.

Answer 6

Overloading

Question 7

Some languages allow a function to be ANSWER, that is to be defined over a large class of similar types, e.g., over arrays no matter what type their elements are.

Answer 7

polymorphic

generic