1) static type checking
静态类型检查
3) type checking
类型检查
1.
This paper presents the processes of hierarchical development and proof of method B,depicts its type checking and proof obligations from the construction of abstract machine to refinement and implementation in detail.
本文介绍了B方法的分层开发与证明过程,针对构造AM以及对他进行精化和实现过程中的类型检查、证明义务进行了重点分析,最后通过具体应用说明了B方法的证明技术在实践中的有效性。
2.
Using Xerces-J2 the XML partial validating interfaces based on XML Schema are designed and implemented, including type checking, identity constraints checking and so on.
利用Xerces-J2,设计实现了基于XMLSchema的XML局部验证接口,包括类型检查和ID约束检查等。
3.
The type checking algorit.
引入类型变量和相应的类型检查方法,就可以将其类型系统扩充为多态类型系统。
4) type check
类型检查
1.
OOZS type check tool is a program which can check the syntax and type of OOZS specifications.
ＯＯＺＳ类型检查器是ＯＯＺＳ规格说明的一种检查程序，它可以找出用户编写的ＯＯＺＳ规格说明中出现的语法错误以及类型操作的不一致错误，并能够自动定位错误。
6) strict type checking; strong type checking
强类型检查
补充资料：精液内细胞个别不同类型细胞检查
精液内细胞个别不同类型细胞检查
诊法。射精液的个别细胞形态的分类测定，是精液分析要取得的参数之一。 取已用瑞氏染色法或吉姆染色法染好的精液涂片，在光镜下计数100个头部卵圆，中段形子 、尾子蜷曲的正常精子，同时在一个视野内，计数欲测的不成熟精子或其他形态的细胞。按 下列公式计算：C=〓〓N×S〓〓100〓〓(式中：C——欲测得的细胞；N—— 在计数 100个精子时同一视野下的细胞数；S——1ml精液中的精子数)。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条