In computer science, Type checking refers to which of the following?
Difficulty: Medium
- 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.
Correct answer
Source: Compiler Design Official Reference Guide
Tags: computer science, compiler design, compilers, programming languages
Submitted by: MCQsHub Editorial
Related MCQs
- Identify the correct definition of Bytecode.
- The concept in which an intermediate, platform-independent representation of source code designed to be execut...
- What is the function or purpose of Cross-compiler?
- Which of the following best names the concept in which a compiler capable of creating executable code for a pl...
- Choose the correct description of Peephole optimization.
- A code optimization technique that examines a small set of adjacent instructions to replace them with a more e...