语义错误检验的英文翻译

中文:语义错误检验

英文翻译:【计】 semantic error checking