type checking

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

en-US/ˈtaɪp ˈt͡ʃɛkɪŋ/
en-GB/ˈtaɪp ˈt͡ʃɛkɪŋ/

دسته بندی ها:

program analysisverification