2) An Comparative Study of Pre-trail Detention
审前羁押程序比较
3) custody
[英]['kʌstədi] [美]['kʌstədɪ]
羁押
1.
Studies on the System of Criminal Compulsory Measure and Mechanism of Procuratorial Work——To lower the rate of custody in criminal action;
刑事强制措施体系完善及检察工作机制改革——以降低刑事诉讼羁押率为目标
2.
The reform and legislative amendment of the system of custody;
论我国羁押制度的改革与立法完善
4) detainment
[英][di'teinmənt] [美][dɪ'tenmənt]
羁押
1.
The execution of arrest and detainment is not only concerned with the effectiveness of striking of crimes but also directly related to the protection of personal freedom and rights.
强制措施是一项十分重要的刑事司法制度,逮捕和羁押的行使不仅关系到能否有效地追究犯罪,更直接关系到公民的人身自由和权利保障,并且鲜明地体现出一个国家民主与法治的程度。
2.
The System of detainment is to arrest suspect without ensuring he is guilty.
未决羁押是在未确定嫌疑人有罪的情况下对其人身权利的限制和剥夺。
5) detention
[英][dɪ'tenʃn] [美][dɪ'tɛnʃən]
羁押
1.
Why Non-detention Becomes Exceptional?
为什么不羁押成为例外——我国侦查羁押常态化探因
2.
Discussion of Problems of the Detention
对侦查羁押制度几个问题的探讨
3.
Pursuant to this perspective,we assume that we should create an independent investigation arbitrary system and allow the public security organs to enjoy independent avoidance system,external review for compulsory measures and independent detention system in.
根据这一视角,我们认为应该创设独立的任意侦查制度、公安机关对于轻微犯罪案件独立的撤销权制度、强制措施外部审查制与独立的羁押制度。
6) detain
[英][dɪ'teɪn] [美][dɪ'ten]
羁押
1.
For this status,the rights of people detained are often deprived because of finding out truth of cases.
在我国,看守所隶属于负有侦查职能的公安机关,这种隶属状况使得看守所内被羁押者的权利经常让位于查明案件事实真相等方面的需要,造成了取保候审异化、律师会见受阻、刑讯逼供猖獗、牢头狱霸横行的局面,已经越来越偏离世界人权保障的要求。
补充资料:编译程序的编译程序
编译程序的编译程序
compiler-compiler
b Ianyi ehengxu de blanyi chengxu编译程序的编译程序《compile卜伪mpiler》产生编译程序的编译程序。它接受用某一适当的表示体系描述的某一语言类中任一语言A的词法规则、语法规则、语义规则和(或)代码生成规则,并从这些描述产生出用目标语言B写的关于语言A的编译程序的全部或部分。编译程序的编译程序又称为偏译租序的生成租序。 通常,编译程序分成词法分析程序、语法分析程序、语义分析程序、代码生成程序等若干部件。这些部件可以用一个总的编译程序的编译程序的不同部分来生成,也可以分别用不同的专用生成程序来生成。这些专用生成程序包括词法分析程序的生成程序,语法分析程序的生成程序和代码生成程序的生成程序等。 词法今析租序的生成粗序接受以正则文法或其它类似文法描述的单词,构造一个有限状态自动机,由此生成一个词法分析程序。 语法介析程序的生成程序接受以上下文无关文法的形式描述的源语言的语法,生成一个语法分析程序。各种语法分析程序的生成程序随实现语言、语法分析算法的原理以及源程序中语法错误处理能力的不同而异。如采用LR的语法分析程序的生成程序YACC和采用递归下降法的语法分析程序的生成程序L比en。 语义分析程序、中间代码生成程序和目标代码生成程序的生成程序的设计与实现与形式化的语义描述紧密相关。语义描述形式化技术相当困难,目前大多数生成程序中语义描述还是采用非形式化,它们的基本思想是为源语言的上下文无关文法的语法符号或产生式配以翻译子程序(语义动作或语义子程序)。 现有不少性能很好的编译程序的编译程序,如词法分析程序的生成程序LEX,语法分析程序的生成程序yACC和LLgen,它们都显著提高了编译程序的开发效率。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条