typechecker

Noun

 * 1)  A system or algorithm that verifies values against their required data types, according to the type system of the language.