...formal verification, transformations, higher-order logic, reusability of specifications. 1 Introduc[gap=344]关键词：正式的验证，转换，高阶逻辑，规范的可重用性。 1引言窥孔优化一般被理解为一个指令序列替换.
基于6个网页-相关网页
exi格式使用一种源于信息和正式语言理论的混合方法以及经过测量验证的实践技术对XML信息进行熵编码。
The EXI format USES a hybrid approach drawn from the information and formal language theories, plus practical techniques verified by measurements, for entropy encoding XML information.
其中几本教材中有很少的篇幅涉及到确认和验证，但是仅仅是简单的引用IEEE标准或其他正式的方法。
Some have short sections on validation and verification, but those simply point either to IEEE standards or other formal methods.
如果您不使用正式的DTD或模式，验证特性对于您来说并不重要。
If you are working without a formal DTD or schema, validation features won't be important to you.
应用推荐