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