typechecker

Today it means: A system or algorithm that verifies values against their required data types, according to the type system of the language. Full definition →