← Back to glossary

Type Checking

Moderate

A process in programming languages to verify whether or not each operation in the program is in accordance with the type declaration rules of the language.