1) proof-carrying code
携带证明的代码
1.
And all of the verification is mechanized in the Coq proof assistant and can be used to pack as proof-carrying code packages immediately.
本文所有的验证工作都实现在Coq辅助定理证明工具中,从而可以迅速的用于构造携带证明的代码包。
2) Proof-Carrying-Code (PCC)
携证代码
3) certified assembly program
携带证明的汇编程序
4) model carrying code
携带模型代码
5) Number Portability
号码携带
1.
Research and Realization of PSTN Number Portability Based on IN Architecture;
基于智能网架构的固定号码携带业务的研究与实现
2.
Economic Feasibility and Implementation Proposals on Providing Mobile Number Portability Service in China;
我国实行移动号码携带的经济可行性分析及实施建议
3.
Based on the microcosmic economics,the theory of industrial organization and game theory the paper explores the competitive strategy of mobile operators under two different policy environment, one is without number portability and the other is with number portability.
本文应用微观经济学、产业组织理论和博弈论的基本原理和方法,对现阶段(无号码携带)和号码携带下移动运营商的竞争策略进行研究,为企业在不同政策环境下参与竞争提供决策支持,同时也为政府主管部门提供了一些合理的对于管制政策的建议。
补充资料：代码生成
代码生成
code generation
daima Shengeheng代码生成(，de generation)把语法语义分析后的中间结果转换成等价的目标程序或目标程序模块的过程。中间结果是用三元式、四元式或逆波兰式等中间语言表示的程序。目标程序是用目标语言书写的。目标语言可以是机器语育、汇编语言乃至高级语育。随着计算机的编译环境和执行环境的不断完善，不仅能产生可直接执行的目标程序，也能生成可再定位的或可连接的目标程序模块，并最终通过连接装人程序构成可直接执行的目标程序。 代码生成不但与编译有关，而且与运行环境有关。所生成的目标程序应当符合连接装人所要求的规范。代码生成中存储分配和寄存器分配是直接影响目标程序功效的重要且复杂的问题，应给予足够重视。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条