1) facilitation program
易化程序
3) Program trading
程序化交易
1.
Program Trading that thispaper will study belongs to the category of fi.
本文要研究的程序化交易正是属于金融技术创新的范畴。
5) simplified procedure
简易程序
1.
The simplified procedure in China has more superiority at some aspects:the applied scope of cases?the way of trial and the advantages that a defendant can obtain.
与辩诉交易程序相比,我国的简易程序在案件的适用范围、审判方式、被告人所能获得的利益等方面有着更好的优势,而不必要引进颇具争议的辩诉交易程序。
2.
Due to the limit of the present system design,there are such problems as low efficiency and single channel in dispute settlement in China s civil procedure,which makes it necessary to strengthen the role of preliminary trial,reform the simplified procedure and transform the court mediation into court-affiliated ADR.
受当前制度设计的制约,我国民事诉讼中存在纠纷解决效率低下和渠道单一的问题,因此,强化第一审的作用,改革简易程序和将法院调解变革为法院附设ADR就显得非常必要。
3.
Nowadays, many other countries began to design and apply the simplified procedure to divide up the cases and the trend is diversified.
刑事简易程序是在程序上有所简化的一种特别程序类型。
6) Simple procedure
简易程序
1.
The simple procedure,added in administrative procedural law,may ease the conflicts of more administrative cases and judicial resource shortage.
在行政诉讼法中增设简易程序,能有效缓解行政案件数量增多与司法资源缺乏之间的矛盾,实现行政诉讼保护相对人合法权益、监督行政机关依法行政的目的,也是行政高效原则的内在要求。
2.
Since simplifying the proceedings is the mainstream,the simple procedure becomes the focus of widespread attention in the world.
在以简化诉讼程序为主流的背景下,简易程序成为各国普遍关注的焦点的同时,简易程序与普通程序的相互转换问题也日益凸显,我国也不例外。
补充资料：编译程序的编译程序
编译程序的编译程序
compiler-compiler
b Ianyi ehengxu de blanyi chengxu编译程序的编译程序《compile卜伪mpiler》产生编译程序的编译程序。它接受用某一适当的表示体系描述的某一语言类中任一语言A的词法规则、语法规则、语义规则和(或)代码生成规则，并从这些描述产生出用目标语言B写的关于语言A的编译程序的全部或部分。编译程序的编译程序又称为偏译租序的生成租序。 通常，编译程序分成词法分析程序、语法分析程序、语义分析程序、代码生成程序等若干部件。这些部件可以用一个总的编译程序的编译程序的不同部分来生成，也可以分别用不同的专用生成程序来生成。这些专用生成程序包括词法分析程序的生成程序，语法分析程序的生成程序和代码生成程序的生成程序等。 词法今析租序的生成粗序接受以正则文法或其它类似文法描述的单词，构造一个有限状态自动机，由此生成一个词法分析程序。 语法介析程序的生成程序接受以上下文无关文法的形式描述的源语言的语法，生成一个语法分析程序。各种语法分析程序的生成程序随实现语言、语法分析算法的原理以及源程序中语法错误处理能力的不同而异。如采用LR的语法分析程序的生成程序YACC和采用递归下降法的语法分析程序的生成程序L比en。 语义分析程序、中间代码生成程序和目标代码生成程序的生成程序的设计与实现与形式化的语义描述紧密相关。语义描述形式化技术相当困难，目前大多数生成程序中语义描述还是采用非形式化，它们的基本思想是为源语言的上下文无关文法的语法符号或产生式配以翻译子程序(语义动作或语义子程序)。 现有不少性能很好的编译程序的编译程序，如词法分析程序的生成程序LEX，语法分析程序的生成程序yACC和LLgen，它们都显著提高了编译程序的开发效率。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条