typechecking

释义与例句

n.
  1. 1.

    The process of verifying whether a given value belongs to a certain data type.

    不可数 计算机 工程 数学

词源

From type + checking.

来源：wiktionary