1) program validation
程序证实
2) program validation service
程序证实服务程序
3) hearing
[英]['hɪərɪŋ] [美]['hɪrɪŋ]
听证程序
1.
On the efficiency of the hearing and the assessment of environmental impacts;
环境影响评价听证程序实效性问题研究
2.
As concerned that environmental administration,the hearing is prescribed as the law by the Environmental Impact Assessment Act.
在环境行政领域,环境影响评价法首次以法律形式规定听证程序。
4) Proof-providing procedure
举证程序
5) program verification
程序验证
1.
Parallel scheduling strategy for program verification
并行程序验证的调度策略
2.
This paper summarizes two strategies of software security flaw detection,named static analysis and program verification.
该文研究软件漏洞静态检测的两个主要方面:静态分析和程序验证,重点分析词法分析、规则检查、类型推导、模型检测、定理证明和符号执行等方法,将常用的静态检测工具按方法归类,讨论、总结静态检测技术的优势、适用性和发展趋势。
3.
An approach for slicing concurrent object-oriented programs was presented to reduce the state space in the process of program verification.
为了缩减程序验证的状态空间,针对面向对象程序的并发机制,定义了程序中存在的依赖关系,提出一种从待验证的线性时序逻辑(LTL)性质中提取出切片准则对程序进行切片的方法。
6) Hearing Procedure
听证程序
1.
Therefore,the introduction of hearing procedure into the confirmation of major fire potential is of great importance as to restrict fire administrative power,protect legal rights and interests of entities with major fire potentia.
因此,在重大火灾隐患判定中引入听证程序,无论对于规范消防行政执法权、保护隐患单位的合法权益,还是提高消防行政执法效率都具有重要意义。
2.
However,it does not provide for hearing procedures in the punishment about personal freedom and The Act on the Punishment of law also failed to compensate for this shortcoming.
听证程序的准司法性质决定其有利于保证行政处罚的公正,保障行政相对人的合法权益。
补充资料：编译程序的编译程序
编译程序的编译程序
compiler-compiler
b Ianyi ehengxu de blanyi chengxu编译程序的编译程序《compile卜伪mpiler》产生编译程序的编译程序。它接受用某一适当的表示体系描述的某一语言类中任一语言A的词法规则、语法规则、语义规则和(或)代码生成规则，并从这些描述产生出用目标语言B写的关于语言A的编译程序的全部或部分。编译程序的编译程序又称为偏译租序的生成租序。 通常，编译程序分成词法分析程序、语法分析程序、语义分析程序、代码生成程序等若干部件。这些部件可以用一个总的编译程序的编译程序的不同部分来生成，也可以分别用不同的专用生成程序来生成。这些专用生成程序包括词法分析程序的生成程序，语法分析程序的生成程序和代码生成程序的生成程序等。 词法今析租序的生成粗序接受以正则文法或其它类似文法描述的单词，构造一个有限状态自动机，由此生成一个词法分析程序。 语法介析程序的生成程序接受以上下文无关文法的形式描述的源语言的语法，生成一个语法分析程序。各种语法分析程序的生成程序随实现语言、语法分析算法的原理以及源程序中语法错误处理能力的不同而异。如采用LR的语法分析程序的生成程序YACC和采用递归下降法的语法分析程序的生成程序L比en。 语义分析程序、中间代码生成程序和目标代码生成程序的生成程序的设计与实现与形式化的语义描述紧密相关。语义描述形式化技术相当困难，目前大多数生成程序中语义描述还是采用非形式化，它们的基本思想是为源语言的上下文无关文法的语法符号或产生式配以翻译子程序(语义动作或语义子程序)。 现有不少性能很好的编译程序的编译程序，如词法分析程序的生成程序LEX，语法分析程序的生成程序yACC和LLgen，它们都显著提高了编译程序的开发效率。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条