typechecking

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

Noun

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

Origin

From type + checking.

Related

typechecker type system type theory

From Wiktionary's contributor community, shared under CC BY-SA 4.0.