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
/tʌɪp ʧɛkiŋ/
/taɪp ˈʧɛkɪŋ/