1) procedure tort
程序侵权
1.
Judges procedure torts,especially the torts which are not illegitimate,are a frequent problem to lawyers in a proceeding,and there are not any relieves in law.
法官的程序侵权,尤其是并没有达到违法程度的程序侵权,是律师在诉讼活动中所面对的一个常见问题,而且法律上并没有相关的救济规定。
2) Compensation Procedure for Administrative Tort
行政侵权赔偿程序
3) privileged program
特权程序
1.
Experiments on the data set of system call traces of the privileged program Sendmail have been completed under the condition of normal and attack pattern.
通过对特权程序Sendmail在正常和各种攻击模式下的系统调用跟踪数据集进行实验,结果证明采用模糊概念抽象归属不明确的局部行为,明显地提高了特权程序异常检测模型的灵活性、适应性和对各种异常行为的识别能力。
4) Procedural rights
程序权利
1.
The proposing of procedural rights deepens and develops the theory of rights;The classification of substantive r.
程序权利是指为制约国家机关的权力 ,保障公民实体权利的实现 ,在一定的法律程序中为公民设定的权利。
2.
In the administrative penalty, the procedural rights of the counterpart not only can effectively restrict and balance the administrative penalty rights which accords with the basic requirements of procedural justice, but also can protect the substantive rights of the counterpart.
这从我国行政处罚体制、处罚程序、责任机制、相对人程序权利救济等方面,可窥其存在的问题。
5) Procedural Authority
程序权威
1.
Among them procedural authority and interpretation authority are not only the indispensable intermediate.
其中程序权威、解释权威既是联结法律规则权威和司法判决权威的不可或缺的中介环节 ,又是司法主体和司法判决权威的表现形式 ;而程序权威又与裁判者的中立性和当事人的平等诉讼地位密切关联。
2.
Procedural Authority and Case Authority:the Just Mechanism of Judicial Authority;
程序权威与解释权威是相互依存、相互促进的关系。
补充资料：编译程序的编译程序
编译程序的编译程序
compiler-compiler
b Ianyi ehengxu de blanyi chengxu编译程序的编译程序《compile卜伪mpiler》产生编译程序的编译程序。它接受用某一适当的表示体系描述的某一语言类中任一语言A的词法规则、语法规则、语义规则和(或)代码生成规则，并从这些描述产生出用目标语言B写的关于语言A的编译程序的全部或部分。编译程序的编译程序又称为偏译租序的生成租序。 通常，编译程序分成词法分析程序、语法分析程序、语义分析程序、代码生成程序等若干部件。这些部件可以用一个总的编译程序的编译程序的不同部分来生成，也可以分别用不同的专用生成程序来生成。这些专用生成程序包括词法分析程序的生成程序，语法分析程序的生成程序和代码生成程序的生成程序等。 词法今析租序的生成粗序接受以正则文法或其它类似文法描述的单词，构造一个有限状态自动机，由此生成一个词法分析程序。 语法介析程序的生成程序接受以上下文无关文法的形式描述的源语言的语法，生成一个语法分析程序。各种语法分析程序的生成程序随实现语言、语法分析算法的原理以及源程序中语法错误处理能力的不同而异。如采用LR的语法分析程序的生成程序YACC和采用递归下降法的语法分析程序的生成程序L比en。 语义分析程序、中间代码生成程序和目标代码生成程序的生成程序的设计与实现与形式化的语义描述紧密相关。语义描述形式化技术相当困难，目前大多数生成程序中语义描述还是采用非形式化，它们的基本思想是为源语言的上下文无关文法的语法符号或产生式配以翻译子程序(语义动作或语义子程序)。 现有不少性能很好的编译程序的编译程序，如词法分析程序的生成程序LEX，语法分析程序的生成程序yACC和LLgen，它们都显著提高了编译程序的开发效率。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条