substitution check的意思

substitution check中文翻譯：

替代檢查

相似詞語短語

substitution───n.代替；[數]置換；代替物

check check───檢查檢查

substitution cipher───代替密碼；替代密碼；n.代用密碼（或記號）

substitution effect───替代作用；替代效應

substitution method───代入法；替換法；代換法; 代入法; 代替法; 替代法

substitution drill───替換訓練；替換練習；代換法

substitution bias───替代偏誤

shortening substitution───縮短替代

check───n.<美>支票；制止，抑制；檢驗，核對；vt.檢查，核對；制止，抑制；在…上打勾；托運；vi.核實，查核；中止；打勾；[象棋]將一軍；n.（英）切克（人名）

雙語使用場景

This paper introduces the implementation of a Z specification type checker, meanwhile the environment of type check, unification method, substitution strategy are also discussed.───本文介紹Z規格說明類型檢查器的實現方法，并對類型檢查的環境、一致化方法、替換策略和類型變量的應用等問題進行討論。

The last set includes a colon (:) between the variable name and the substitution operator, which adds the check to see if the variable is NULL, as well.───后一組定義在變量名和替換操作符之間包含一個冒號(：)，這會額外檢查變量是否是NULL。

英語使用場景