type checking

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

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

زمرے:

program analysisverification