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.

Related terms

• typechecker

See also

• type system
• type theory