Some compilers generate verifiably type - safe code only if you avoid using certain language constructs 某些编译器只有在您避免使用某些语言构造时才生成可验证的类型安全代码。
Visual c application wizards do not create verifiable projects , but projects can be converted to be verifiable Visual c + +应用程序向导不创建可验证的项目，但项目可以转换为可验证的。
Udts are defined by using any of the languages supported by the microsoft . net common language runtime that produce verifiable code 使用受microsoft . net公共语言运行库( clr ) （生成可验证的代码）支持的任意一种语言定义udt 。
For verifiable code , you must use the clr : safe flag , and you must instruct the linker to generate msil instead of native machine instructions 对于可验证的代码，必须使用/ clr : safe标志，并且必须指示链接器生成msil ，而不是本机机器指令。
Because verifiable applications cannot use the c run - time libraries , they cannot depend on the crt to call the main function as the standard entry point 由于可验证的应用程序无法使用c运行时库( crt ) ，因此无法依赖crt来调用主函数作为标准入口点。
This topic describes how to set project properties and modify project source files to transform your visual c projects to produce verifiable applications 本主题介绍如何设置项目属性和修改项目源文件来转换visual c + +项目，以生成可验证的应用程序。
A new threshold proxy signature scheme with known signers based on bilinear pairings theory is proposed using the technique of verifiable secret sharing 摘要利用双线性对理论和可验证的秘密分享技术，提出了一种新的具有已知签名者的门限代理签名方案。
However , some type - safe code might not pass verification because of limitations of the verification process , and some languages , by design , do not produce verifiably type - safe code 然而，由于验证过程的限制，某些类型安全代码可能无法通过验证，而某些语言在设计上就不产生可验证的类型安全代码。
From these historically provable facts we can now test whether god can actually foretell the future , realising that predictions made in the old testament were made at least 250 years before they were fulfilled in the new testament 从这些可验证的真实事情身上我们可以检验上帝是否真能预言未来，要知道从旧约的预言到在新约中应验，中间至少间隔了250年。
In addition , any language construct that makes it impossible to rapidly verify the type safety of code was excluded from the cls so that all cls - compliant languages can produce verifiable code if they choose to do so 此外，任何不可能快速验证代码类型安全性的语言构造都被排除在cls之外，以便所有符合cls的语言都可以生成可验证的代码（如果它们选择这样做） 。
