说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 确认程序
1)  affirmation procedure
确认程序
1.
Self-criticism and Foresight of Affirmation Procedure in Judicial Compensation;
司法赔偿中确认程序之检讨及前瞻
2.
The affirmation procedure of state compensation is complicated in design and low in efficiency.
鉴于现有的国家赔偿确认程序设计复杂但实效性不高,存在国家赔偿的自为确认程序违反程序正义原则、赔偿确认程序缺乏详细的规则设计、人民法院非刑事赔偿案件的具体确认机关不明确、违法赔偿确认程序缺乏有效的救济途径等诸多问题,建议在进行国家赔偿法修订时将现行赔偿义务机关先行确定的强制性规定,修改为赔偿双方可以先行协商处理,协商不成的可以直接诉诸法院,违法确认与赔偿判决统一由法院在诉讼中一并进行,法院既有查清案件事实的责任,也有依法判决的义务。
2)  program validation
程序确认
3)  validation suite
确认程序组
4)  batch program validation services,batch PVS
批程序确认服务
5)  commitment definition
确认定义(程序)
6)  computer program certification
计算机程序确认
补充资料:编译程序的编译程序


编译程序的编译程序
compiler-compiler

b Ianyi ehengxu de blanyi chengxu编译程序的编译程序《compile卜伪mpiler》产生编译程序的编译程序。它接受用某一适当的表示体系描述的某一语言类中任一语言A的词法规则、语法规则、语义规则和(或)代码生成规则,并从这些描述产生出用目标语言B写的关于语言A的编译程序的全部或部分。编译程序的编译程序又称为偏译租序的生成租序。 通常,编译程序分成词法分析程序、语法分析程序、语义分析程序、代码生成程序等若干部件。这些部件可以用一个总的编译程序的编译程序的不同部分来生成,也可以分别用不同的专用生成程序来生成。这些专用生成程序包括词法分析程序的生成程序,语法分析程序的生成程序和代码生成程序的生成程序等。 词法今析租序的生成粗序接受以正则文法或其它类似文法描述的单词,构造一个有限状态自动机,由此生成一个词法分析程序。 语法介析程序的生成程序接受以上下文无关文法的形式描述的源语言的语法,生成一个语法分析程序。各种语法分析程序的生成程序随实现语言、语法分析算法的原理以及源程序中语法错误处理能力的不同而异。如采用LR的语法分析程序的生成程序YACC和采用递归下降法的语法分析程序的生成程序L比en。 语义分析程序、中间代码生成程序和目标代码生成程序的生成程序的设计与实现与形式化的语义描述紧密相关。语义描述形式化技术相当困难,目前大多数生成程序中语义描述还是采用非形式化,它们的基本思想是为源语言的上下文无关文法的语法符号或产生式配以翻译子程序(语义动作或语义子程序)。 现有不少性能很好的编译程序的编译程序,如词法分析程序的生成程序LEX,语法分析程序的生成程序yACC和LLgen,它们都显著提高了编译程序的开发效率。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条