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
Categories:
English compound terms
English lemmas
English nouns
English uncountable nouns
en:Computing
Hidden categories:
Pages with entries
Pages with 1 entry