typechecking
English
Etymology
From
type
+
checking
.
Noun
typechecking
(
uncountable
)
(
computing
)
The process of
verifying
whether a given
value
belongs to a certain
data type
.
Related terms
typechecker
See also
type system
type theory