Buy Me a Coffee at ko-fi.com

Type checking

analysis and verification of data types in the source code of a computer program

Pronunciation
/taɪp ˈʧɛkɪŋ/
/tʌɪp ʧɛkiŋ/