?类型检验

... type checking 类型检查 ; 类型检验 ; 型别检查 ; 型别检查 Checking accounts 核对帐目 ; 活期存款账户 ; 支票账户 customs checking 海关检查 ...

?型别检查

除了较容易使用之外，型别资料集的语法还提供编译时间的型别检查 (Type Checking)，对于指派值给资料集成员的方面能够大幅减少出现错误的可能性。

?类型检测

上述算法中,类型不一致相当于编译中的类型检测(type checking),因为实参事件的参数类型必须与自动机事件的参数类型一致.

?型态检验

（三） 资料型态 ( data type )的分类 （四）型态检验( type checking)与转换 ..