说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 撤诉程序
1)  process of withdrawal
撤诉程序
1.
The thesis discusses how to set up the system of withdrawing an action, and poses the extension in point and process of withdrawal.
该文着重从撤诉权的理论基础一一起诉便宜主义和实事求事原则进行了阐述,并就如何确立撤诉制度进行了较为深入的探讨,提出了撤诉案件的适用范围和撤诉程序的设想。
2)  To terminate(an action) by discontinuance.
中止(诉讼程序);撤回(诉讼)
3)  cancellation procedure
撤销程序
4)  the withdrawal of public prosecution
撤诉
5)  Litigation Procedure
诉讼程序
1.
Research on Some Issues of Litigation Procedures of Unit Crime;
单位犯罪诉讼程序若干问题研究
2.
The realization of justice and efficiency in civil litigation cannot be separated from the scientific construction of civil litigation procedure mechanism, especially the coordination and integration of procedure mechanism.
民事诉讼公正与效率的实现 ,离不开民事诉讼程序机制的科学建构 ,尤其是程序机制彼此之间的协调与整合。
3.
At present,notless problems arisein thelitigation procedure oforganization crime.
我国《刑法》规定了单位犯罪的刑事责任和处罚原则,而在诉讼程序上如何追究单位犯罪的责任,《刑诉法》却未作出任何规定。
6)  pleading [英]['pli:dɪŋ]  [美]['plidɪŋ]
诉答程序
1.
The system of pleadings,discovery,pretrial conference all have their fea.
其诉答程序、证据开示程序、审前会议制度等都有其自身的特点和优势,对我国《民事诉讼法》的修改都有着积极的借鉴作用。
2.
Pleading procedure is the lawsuit litigant show own lawsuit requests and defense through the bill and response.
诉答程序是诉讼当事人通过起诉状和答辩状等书面文书陈明自己的诉讼请求和进行答辩的程序。
3.
Pleading constitutes a pretrial preparation and plays a fundamental role in civil procedure.
诉答程序是民事诉讼的起始程序,在整个民事诉讼过程中起基础性的作用。
补充资料:编译程序的编译程序


编译程序的编译程序
compiler-compiler

b Ianyi ehengxu de blanyi chengxu编译程序的编译程序《compile卜伪mpiler》产生编译程序的编译程序。它接受用某一适当的表示体系描述的某一语言类中任一语言A的词法规则、语法规则、语义规则和(或)代码生成规则,并从这些描述产生出用目标语言B写的关于语言A的编译程序的全部或部分。编译程序的编译程序又称为偏译租序的生成租序。 通常,编译程序分成词法分析程序、语法分析程序、语义分析程序、代码生成程序等若干部件。这些部件可以用一个总的编译程序的编译程序的不同部分来生成,也可以分别用不同的专用生成程序来生成。这些专用生成程序包括词法分析程序的生成程序,语法分析程序的生成程序和代码生成程序的生成程序等。 词法今析租序的生成粗序接受以正则文法或其它类似文法描述的单词,构造一个有限状态自动机,由此生成一个词法分析程序。 语法介析程序的生成程序接受以上下文无关文法的形式描述的源语言的语法,生成一个语法分析程序。各种语法分析程序的生成程序随实现语言、语法分析算法的原理以及源程序中语法错误处理能力的不同而异。如采用LR的语法分析程序的生成程序YACC和采用递归下降法的语法分析程序的生成程序L比en。 语义分析程序、中间代码生成程序和目标代码生成程序的生成程序的设计与实现与形式化的语义描述紧密相关。语义描述形式化技术相当困难,目前大多数生成程序中语义描述还是采用非形式化,它们的基本思想是为源语言的上下文无关文法的语法符号或产生式配以翻译子程序(语义动作或语义子程序)。 现有不少性能很好的编译程序的编译程序,如词法分析程序的生成程序LEX,语法分析程序的生成程序yACC和LLgen,它们都显著提高了编译程序的开发效率。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条