typechecking

English

Etymology

From type +‎ checking.

Noun

typechecking (uncountable)

  1. (computing) The process of verifying whether a given value belongs to a certain data type.

See also