1) pure procedure justice
纯粹的程序正义
1.
The procedure justice is classified into pure procedure justice,perfect procedure justice,and imperfect procedure justice.
罗尔斯将程序正义区分为纯粹的程序正义、完善的程序正义和不完善的程序正义三种类型。
2) Purism
[英]['pjuərizm] [美]['pjʊrɪzəm]
纯粹主义
1.
Thisarticle tries to pursue the form factors for Modern architecture through theanalysis of pure what doctrine incline to for Purism expressing come outingdescribing, especially those designing excluding is with the esthetics factor.
“纯粹”在本文被理解为一种精神,通过对美学概念中“纯粹”的分析,以及在这种精神影响下的现代建筑所表现出来的纯粹主义倾向的描述,试图以一种新的视角去探讨“纯粹”这种思想意识对构成现代建筑形式方面的因素的影响。
3) justice in procedure
程序中的正义
5) procedure justice
程序正义
1.
Operation of the Power of Investigation-From the Perspective of the Procedure Justice;
程序正义视角下的侦查权运行
2.
The procedure justice theory is of great importance for fair realization of the result.
程序正义理论对于结果公正的实现具有重要意义,在英美法系国家,程序优于实体的观念一直在指导着司法实践,也得到了民众的普遍认同。
3.
The article analyzes the phenomenon about flaw and deviation in procedure justice of Sports Judicature in China and the causes through documentation and logical analysis.
采用文献资料法、逻辑分析法,对当前我国体育仲裁制度程序正义缺失的现象及其产生的原因进行分析,指出实现我国体育仲裁程序正义的途径:将体育社团的内部解决设定为体育仲裁的前置程序;体育仲裁程序要采取多元化形式;在体育仲裁时限和裁决结果方面特殊要求;明确调解在体育仲裁程序中的地位和关系。
6) procedural justice
程序正义
1.
Lack of procedural justice in the light of Xu Ting s case;
从许霆案看程序正义的缺失
2.
To Challenge the Conflict between Procedural Justice and Substantive Justice;
对程序正义与实体正义之冲突关系的质疑
3.
Judicial reform in our country on the view of procedural justice;
从程序正义看我国的司法改革
补充资料：编译程序的编译程序
编译程序的编译程序
compiler-compiler
b Ianyi ehengxu de blanyi chengxu编译程序的编译程序《compile卜伪mpiler》产生编译程序的编译程序。它接受用某一适当的表示体系描述的某一语言类中任一语言A的词法规则、语法规则、语义规则和(或)代码生成规则，并从这些描述产生出用目标语言B写的关于语言A的编译程序的全部或部分。编译程序的编译程序又称为偏译租序的生成租序。 通常，编译程序分成词法分析程序、语法分析程序、语义分析程序、代码生成程序等若干部件。这些部件可以用一个总的编译程序的编译程序的不同部分来生成，也可以分别用不同的专用生成程序来生成。这些专用生成程序包括词法分析程序的生成程序，语法分析程序的生成程序和代码生成程序的生成程序等。 词法今析租序的生成粗序接受以正则文法或其它类似文法描述的单词，构造一个有限状态自动机，由此生成一个词法分析程序。 语法介析程序的生成程序接受以上下文无关文法的形式描述的源语言的语法，生成一个语法分析程序。各种语法分析程序的生成程序随实现语言、语法分析算法的原理以及源程序中语法错误处理能力的不同而异。如采用LR的语法分析程序的生成程序YACC和采用递归下降法的语法分析程序的生成程序L比en。 语义分析程序、中间代码生成程序和目标代码生成程序的生成程序的设计与实现与形式化的语义描述紧密相关。语义描述形式化技术相当困难，目前大多数生成程序中语义描述还是采用非形式化，它们的基本思想是为源语言的上下文无关文法的语法符号或产生式配以翻译子程序(语义动作或语义子程序)。 现有不少性能很好的编译程序的编译程序，如词法分析程序的生成程序LEX，语法分析程序的生成程序yACC和LLgen，它们都显著提高了编译程序的开发效率。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条