Compiler Design

What term describes the following? a compiler process that verifies whether operations in a program are performed on compatible data types.

Correct answer

D. Type checking

Explanation

Type checking refers to a compiler process that verifies whether operations in a program are performed on compatible data types.