1) standard of commutation
减刑程序
3) criminal procedure
刑事程序
1.
The subject of Constitutional criminal procedure rights is every one of a nation.
宪法化的刑事程序人权,其享有主体是一国之内的每个人;其权利内容主要包括无罪推定权、不受非法强制处分权、不受强迫自证其罪权、保释权、公正审判权等;其价值在于防止刑事程序权力的滥用。
2.
Whether the illegal evidence to be regarded as the proof of convicting defendant or not is either the one of most complex problems in criminal attestation,or the issue that easily happen value conflict in the criminal procedure.
非法取得的证据能否作为对被告人定罪的根据,是刑事证据中最为复杂的问题之一,也是刑事程序中最易发生价值冲突的问题。
3.
Although prosecuting and punishing crime is the origin and the basic function of criminal procedure, modern criminal procedure has an increasing function of protecting the rights of all the parties involved with the progress of human society and the projection of the value in procedure.
刑事程序虽以追究与惩罚犯罪,实现国家刑罚权为其形成原因和基本功能,但随着人类社会的进步和程序价值的日益彰显,现代刑事程序具有越来越多的保障权利的功能。
4) Sentencing procedure
量刑程序
1.
The rationalityof sentencing procedure and the possibility of separatingthe sentencing procedure from the conviction procedure are two different issues.
量刑程序的正当性与量刑程序与定罪程序分离的可行性属于两个不同层面的问题。
6) sentencing procedures
量刑程序
1.
In our country,the legislative sentencing procedures are almost blank.
量刑程序就是在解决被告人定罪问题之后,由司法机关在诉讼当事人的有效参与下,解决被告人量刑问题所应当遵循的程序。
2.
Sentencing justice is the basic requirement of criminal trial in modern society of rule of law,and special sentencing procedures are important ways to ensure sentencing justice.
量刑的公正,是现代法治社会对刑事审判工作的基本要求,而专门的量刑程序是确保量刑公正的重要途径。
补充资料：编译程序的编译程序
编译程序的编译程序
compiler-compiler
b Ianyi ehengxu de blanyi chengxu编译程序的编译程序《compile卜伪mpiler》产生编译程序的编译程序。它接受用某一适当的表示体系描述的某一语言类中任一语言A的词法规则、语法规则、语义规则和(或)代码生成规则，并从这些描述产生出用目标语言B写的关于语言A的编译程序的全部或部分。编译程序的编译程序又称为偏译租序的生成租序。 通常，编译程序分成词法分析程序、语法分析程序、语义分析程序、代码生成程序等若干部件。这些部件可以用一个总的编译程序的编译程序的不同部分来生成，也可以分别用不同的专用生成程序来生成。这些专用生成程序包括词法分析程序的生成程序，语法分析程序的生成程序和代码生成程序的生成程序等。 词法今析租序的生成粗序接受以正则文法或其它类似文法描述的单词，构造一个有限状态自动机，由此生成一个词法分析程序。 语法介析程序的生成程序接受以上下文无关文法的形式描述的源语言的语法，生成一个语法分析程序。各种语法分析程序的生成程序随实现语言、语法分析算法的原理以及源程序中语法错误处理能力的不同而异。如采用LR的语法分析程序的生成程序YACC和采用递归下降法的语法分析程序的生成程序L比en。 语义分析程序、中间代码生成程序和目标代码生成程序的生成程序的设计与实现与形式化的语义描述紧密相关。语义描述形式化技术相当困难，目前大多数生成程序中语义描述还是采用非形式化，它们的基本思想是为源语言的上下文无关文法的语法符号或产生式配以翻译子程序(语义动作或语义子程序)。 现有不少性能很好的编译程序的编译程序，如词法分析程序的生成程序LEX，语法分析程序的生成程序yACC和LLgen，它们都显著提高了编译程序的开发效率。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条