- 更多网络例句与生成程序相关的网络例句 [注：此内容来源于网络，仅供参考]
-
How to generate program assertions is of great importance to software verifications Classical approach to this problem relies on a good command of program structures and repeatedly applying Hoare's rule for deducing Hoare triples.
如何生成程序断言对于软件验证十分重要。传统方法要求既要对程序结构有深入地把握又要做繁复的Hoare三元式推演工作。
-
With C language, an automatic grid-dividing program is developed, which will be combined with Lagrangian element method program.
用 C 语言编制了与拉格朗日元分析程序相结合的计算网格自动生成程序。
-
A program or other coding sequence that produces a result of specified type and format("a macr o generator";"a microcode generator").
产生某种指定类型和格式的结果的程序或另一种编码序列(如"宏生成程序"、"微代码生成程序")。
-
A program or other coding sequence that produces a result of specified type and format("a macro generator";"a microcode generator").
产生某种指定类型和格式的结果的程序或另一种编码序列（如"宏生成程序"、"微代码生成程序"）。
-
A program or other coding sequence that produces a result of specified type and format "a macro generator"; a microcode generator
例句参考：产生某种指定类型和格式的结果的程序或另一种编码序列（如"宏生成程序"、"微代码生成程序"）。
-
A program or other coding sequence that produces a result of specified type and format("a macro generator";" a microco de generator").
产生某种指定类型和格式的结果的程序或另一种编码序列(如"宏生成程序"、"微代码生成程序")。
-
The proof carrying code approach1, 19 does not attempt to establish semantic preservation between a source program and some compiled code. Instead, PCC focuses on the generation of independently checkable evidence that the compiled code C satisfies a behavioral specification Spec such as type and memory safety.
证明携带代码方法[1，19]不求建立源程序和所生成程序之间的语义保持特性，而是着眼于生成可以独立检查的证据，该证据表明编译所生成的代码C满足诸如类型安全和存储安全等行为规范Spec。
-
We can also find unexecutable paths of the sequential program. When we find them we will stop the analysis. We enhance the capability of the traditional methods of detecting data dependence.
数据相关性的静态测试中，我们首先生成程序的流程图，在遍历流程图的同时生成这个程序的扩展有限状态机，然后调用路径分析工具对EFSM的路径进行分析。
-
A type of documenter used for the automatic production and maintenance of charts principally flowcharts.
一种资料文件的生成程序，用于图表的生成和维护。
-
A program or other coding sequence that produces a result of specified type and format("a macro generator";"a microcode generator").
产生某种指定类型和格式的结果的程序或另一种编码序列（如&宏生成程序&、&微代码生成程序&）。
- 更多网络解释与生成程序相关的网络解释 [注：此内容来源于网络，仅供参考]
-
compiler generator：编译程序用编制程序,编译程序的生成程序
2210. compiler 编译程序 | 2211. compiler generator 编译程序用编制程序,编译程序的生成程序 | 2212. compiler language 编译程序语言
-
generating routine：编辑程序,生成程序
generating program | 编辑程序,产生程序 | generating routine | 编辑程序,生成程序 | generating set | 发电机组,发电设备
-
macrogeneration program：宏指令生成程序
macrogenerating program 宏编辑程序; 宏产生程序; 宏功能生成程序 | macrogeneration program 宏指令生成程序 | main control program 主控制程序
-
macrogenerator：宏生成程序
macrogeneration 宏生成 | macrogenerator 宏生成程序 | macrogeometric 宏观几何的
-
macrogenerator：宏功能生成程序
macrogeneration 宏生成 | macrogenerator 宏功能生成程序 | macrogphysics 宏观物理学
-
program generator：程序生成程序
program function key 程序功能键 | program generator 程序生成程序 | program interrupt 程序中断
-
report program generator：报告程序生成程序
report program 报表程序 | report program generator 报告程序生成程序 | report section 报告部分
-
report program generator：报表程序的生成程序,报告程序编制器
report generator language 报告生成语言 | report program generator 报表程序的生成程序,报告程序编制器 | report transmission 通报传输
-
report program generator：报表程序的生成程序
report program generator 报告程序发生器 RPG | report program generator 报表程序的生成程序 | report program generator language 报表程序的生成语言
-
congruential generator：同余数生成程序
congruent generator 同余数生成程序 | congruential generator 同余数生成程序 | conic projection with two standard parallels 双标准纬线圆锥投影