In computer science, Type checking refers to which of the following?
- A. The use of regular expressions by a lexical analyzer to define and recognize valid tokens.
- B. A compiler process that verifies whether operations in a program are performed on compatible data types. ✓
- C. A parsing strategy that builds a parse tree starting from the start symbol and working down toward the input tokens.
- D. A program that loads an executable file into memory and prepares it for execution.
Correct answer
B. A compiler process that verifies whether operations in a program are performed on compatible data types.
Explanation
Type checking refers to a compiler process that verifies whether operations in a program are performed on compatible data types.