[page_title]

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.