1) restart point
程序再启动点
2) retrial preceding procedure
再审启动程序
1.
The retrial preceding procedure is the process by which a court decides whether retry the lawsuit upon the application of a legal subject after examing the claim,fact and cause.
再审启动程序是法定主体向法院提出再审的主张,由法院就该主张以及主体所提供之事由进行审理,决定是否进行再审的诉讼行为和所发生的诉讼法律关系。
3) criminal retrial starting procedure
刑事再审启动程序
1.
Criminal retrial starting procedure is a set of rules that the people s courts and judges should be followed as they decide whether or not accept a retrial case when the parties and state organs concerned which enjoy the right for applying bring a retrial request to the people s court referring to law cases being restricted by judgment in operation.
刑事再审启动程序是指享有申请再审权的有关当事人和国家机关对于符合法定条件和事由并受法院生效裁判约束的刑事案件向人民法院提出再审请求,人民法院根据法律精神,综合权衡,予以审查以决定是否进行再次审判时所要遵循的诉讼规则。
4) model of criminal retrial starting procedure
刑事再审启动程序模式
5) bootloader
启动程序
1.
Researching and design of bootloader based on ARM-Linux embedded mobile POS system
基于ARM-Linux嵌入式移动POS机系统中启动程序的研究与设计
2.
The purpose of bootloader development is to build optimized booting environment in which embedded operating system is able to correctly operate with specific hardware platform.
启动程序开发的主要目的是为嵌入式操作系统在特定的硬件平台上营造优化的启动环境并保证其正常运行。
6) initiating procedure
启动程序
1.
The evidentiary provisions of Civil Procedural Law of the People s Congress by the Supreme People s Court acquire significant contribution of safeguarding party s rights in civil judicial expertise s initiating procedure.
《证据规定》在对司法鉴定启动程序中当事人权利的保障上取得了重大突破,同时也存在很多不足之处。
补充资料:编译程序的编译程序
编译程序的编译程序
compiler-compiler
b Ianyi ehengxu de blanyi chengxu编译程序的编译程序《compile卜伪mpiler》产生编译程序的编译程序。它接受用某一适当的表示体系描述的某一语言类中任一语言A的词法规则、语法规则、语义规则和(或)代码生成规则,并从这些描述产生出用目标语言B写的关于语言A的编译程序的全部或部分。编译程序的编译程序又称为偏译租序的生成租序。 通常,编译程序分成词法分析程序、语法分析程序、语义分析程序、代码生成程序等若干部件。这些部件可以用一个总的编译程序的编译程序的不同部分来生成,也可以分别用不同的专用生成程序来生成。这些专用生成程序包括词法分析程序的生成程序,语法分析程序的生成程序和代码生成程序的生成程序等。 词法今析租序的生成粗序接受以正则文法或其它类似文法描述的单词,构造一个有限状态自动机,由此生成一个词法分析程序。 语法介析程序的生成程序接受以上下文无关文法的形式描述的源语言的语法,生成一个语法分析程序。各种语法分析程序的生成程序随实现语言、语法分析算法的原理以及源程序中语法错误处理能力的不同而异。如采用LR的语法分析程序的生成程序YACC和采用递归下降法的语法分析程序的生成程序L比en。 语义分析程序、中间代码生成程序和目标代码生成程序的生成程序的设计与实现与形式化的语义描述紧密相关。语义描述形式化技术相当困难,目前大多数生成程序中语义描述还是采用非形式化,它们的基本思想是为源语言的上下文无关文法的语法符号或产生式配以翻译子程序(语义动作或语义子程序)。 现有不少性能很好的编译程序的编译程序,如词法分析程序的生成程序LEX,语法分析程序的生成程序yACC和LLgen,它们都显著提高了编译程序的开发效率。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条