1) preliminary procedures
初审程序
2) auditing program
审核程序
1.
The auditors have the rich knowledge of auditing program, management experience and special techniques.
在审核过程中,审核人员发挥了正确的导向作用,他们具备审核知识并熟练掌握审核程序和方法以及现代管理知识,具有一定的专业技术和实际工作经验。
3) procedure for examination and approval
审批程序
1.
In China s current overseas direct investment there exist such issues as backward statutes of overseas investment,vacancy of investment encouragement mechanism and overelaborate procedure for examination and approval.
目前我国海外直接投资存在着海外投资法规滞后,投资激励机制缺位和海外投资的审批程序繁锁等问题。
4) NDA review process
审评程序
5) retrial procedure
再审程序
1.
Analysis on some problems about the amendments of the retrial procedure;
关于再审程序修改的若干问题分析——以2007年民事诉讼法修正案为对象
2.
Consummation of retrial procedure of China civil action on the basis of resjud icate principle;
以既判力原则为根据完善我国民事诉讼中再审程序
3.
The retrial procedure is an important remedial system for administration of justice.
再审程序是审判工作的一项重大补救制度,本文通过对民事再审程序问题的探讨,提出了几点意见。
6) rehearing procedure
再审程序
1.
As a basic scheme,rehearing procedure of common pleas must present and implement the above principles.
民事再审程序作为具体民事诉讼程序制度,体现和承载着民事诉讼程序自由、公正、安定和效益四种基本价值,因此,民事再审程序制度须以维护人的尊严为最高理念,融程序主体性原则于其具体程序规则之中,取消人民法院、人民检察院依职权发动再审,尊重当事人民事再审程序主导权,以体载民事诉讼制度现代化精神。
2.
The current rehearing procedure,constructed on the concept of jurisdiction supervision rights,is the systematic element that has caused difficulty and high frequency in appealing for justice about judicial cases.
现行以审判监督权为理念而构建的民事再审程序是造成司法实务申诉难与申诉不断的体制性因素,必须以再审诉权原理对之加以改造。
3.
The law tenet proves that adjudged force principle dose not absolutely refuse criminal rehearing procedure, but Chinese criminal rehearing procedure should be rebuilt on the principle.
法理分析证明,刑事既判力原则不绝对排斥刑事再审程序的启动,但我国的刑事再审程序应从既判力原则出发进行重构。
补充资料：编译程序的编译程序
编译程序的编译程序
compiler-compiler
b Ianyi ehengxu de blanyi chengxu编译程序的编译程序《compile卜伪mpiler》产生编译程序的编译程序。它接受用某一适当的表示体系描述的某一语言类中任一语言A的词法规则、语法规则、语义规则和(或)代码生成规则，并从这些描述产生出用目标语言B写的关于语言A的编译程序的全部或部分。编译程序的编译程序又称为偏译租序的生成租序。 通常，编译程序分成词法分析程序、语法分析程序、语义分析程序、代码生成程序等若干部件。这些部件可以用一个总的编译程序的编译程序的不同部分来生成，也可以分别用不同的专用生成程序来生成。这些专用生成程序包括词法分析程序的生成程序，语法分析程序的生成程序和代码生成程序的生成程序等。 词法今析租序的生成粗序接受以正则文法或其它类似文法描述的单词，构造一个有限状态自动机，由此生成一个词法分析程序。 语法介析程序的生成程序接受以上下文无关文法的形式描述的源语言的语法，生成一个语法分析程序。各种语法分析程序的生成程序随实现语言、语法分析算法的原理以及源程序中语法错误处理能力的不同而异。如采用LR的语法分析程序的生成程序YACC和采用递归下降法的语法分析程序的生成程序L比en。 语义分析程序、中间代码生成程序和目标代码生成程序的生成程序的设计与实现与形式化的语义描述紧密相关。语义描述形式化技术相当困难，目前大多数生成程序中语义描述还是采用非形式化，它们的基本思想是为源语言的上下文无关文法的语法符号或产生式配以翻译子程序(语义动作或语义子程序)。 现有不少性能很好的编译程序的编译程序，如词法分析程序的生成程序LEX，语法分析程序的生成程序yACC和LLgen，它们都显著提高了编译程序的开发效率。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条