中华人民共和国最高人民司法解释
法释〔2008〕13号
《最高人民法院关于适用〈中华人民共和国民事诉讼法〉执行程序若干问题的解释》已于2008年9月8日由最高人民法院审判委员会第1452次会议通过。现予公布，自2009年1月1日起施行。
二○○八年十一月三
最高人民法院关于适用《中华人民共和国民事诉讼法》执行程序若干问题的解释
（2008年9月8日最高人民法院审判委员会第1452次会议通过）
为了依法及时有效地执行生效法律文书，维护当事人的合法权益，根据2007年10月修改后的《中华人民共和国民事诉讼法》（以下简称民事诉讼法），结合人民法院执行工作实际，对执行程序中适用法律的若干问题做出如下解释：
第一条申请执行人向被执行的财产所在地人民法院申请执行的，应当提供该人民法院辖区有可供执行财产的证明材料。
第二条对两个以上人民法院都有管辖权的执行案件，人民法院在立案前发现其他有管辖权的人民法院已经立案的，不得重复立案。
立案后发现其他有管辖权的人民法院已经立案的，应当撤销案件；已经采取执行措施的，应当将控制的财产交先立案的执行法院处理。
第三条人民法院受理执行申请后，当事人对管辖权有异议的，应当自收到执行通知书之日起十日内提出。
人民法院对当事人提出的异议，应当审查。异议成立的，应当撤销执行案件，并告知当事人向有管辖权的人民法院申请执行；异议不成立的，裁定驳回。当事人对裁定不服的，可以向上一级人民法院申请复议。
管辖权异议审查和复议期间，不停止执行。
第四条对人民法院采取财产保全措施的案件，申请执行人向采取保全措施的人民法院以外的其他有管辖权的人民法院申请执行的，采取保全措施的人民法院应当将保全的财产交执行法院处理。
第五条执行过程中，当事人、利害关系人认为执行法院的执行行为违反法律规定的，可以依照民事诉讼法第二百零二条的规定提出异议。
（民诉法第二百零二条当事人、利害关系人认为执行行为违反法律规定的，可以向负责执行的人民法院提出书面异议。当事人、利害关系人提出书面异议的，人民法院应当自收到书面异议之日起十五日内审查，理由成立的，裁定撤销或者改正；理由不成立的，裁定驳回。当事人、利害关系人对裁定不服的，可以自裁定送达之日起十日内向上一级人民法院申请复议。）
执行法院审查处理执行异议，应当自收到书面异议之日起十五日内作出裁定。
第六条当事人、利害关系人依照民事诉讼法第二百零二条规定申请复议的，应当采取书面形式。
第七条当事人、利害关系人申请复议的书面材料，可以通过执行法院转交，也可以直接向执行法院的上一级人民法院提交。
执行法院收到复议申请后，应当在五日内将复议所需的案卷材料报送上一级人民法院；上一级人民法院收到复议申请后，应当通知执行法院在五日内报送复议所需的案卷材料。
第八条上一级人民法院对当事人、利害关系人的复议申请，应当组成合议庭进行审查。（对执行案件的复议申请的审查应当由合议庭进行）
第九条当事人、利害关系人依照民事诉讼法第二百零二条规定申请复议的，上一级人民法院应当自收到复议申请之日起三十日内审查完毕，并作出裁定。有特殊情况需要延长的，经本院院长批准，可以延长，延长的期限不得超过三十日。（对复议申请的审查期限可延长，但延长不得超过三十日。）
第十条执行异议审查和复议期间，不停止执行。
被执行人、利害关系人提供充分、有效的担保请求停止相应处分措施的，人民法院可以准许；申请执行人提供充分、有效的担保请求继续执行的，应当继续执行。
第十一条依照民事诉讼法第二百零三条的规定，有下列情形之一的，上一级人民法院可以根据申请执行人的申请，责令执行法院限期执行或者变更执行法院：
（一）债权人申请执行时被执行人有可供执行的财产，执行法院自收到申请执行书之日起超过六个月对该财产未执行完结的；
（二）执行过程中发现被执行人可供执行的财产，执行法院自发现财产之日起超过六个月对该财产未执行完结的；
（三）对法律文书确定的行为义务的执行，执行法院自收到申请执行书之日起超过六个月未依法采取相应执行措施的；
（四）其他有条件执行超过六个月未执行的。
第十二条上一级人民法院依照民事诉讼法第二百零三条规定责令执行法院限期执行的，应当向其发出督促执行令，并将有关情况书面通知申请执行人。
上一级人民法院决定由本院执行或者指令本辖区其他人民法院执行的，应当作出裁定，送达当事人并通知有关人民法院。
第十三条上一级人民法院责令执行法院限期执行，执行法院在指定期间内无正当理由仍未执行完结的，上一级人民法院应当裁定由本院执行或者指令本辖区其他人民法院执行。
第十四条民事诉讼法第二百零三条规定的六个月期间，不应当计算执行中的公告期间、鉴定评估期间、管辖争议处理期间、执行争议协调期间、暂缓执行期间以及中止执行期间。
第十五条案外人对执行标的主张所有权或者有其他足以阻止执行标的转让、交付的实体权利的，可以依照民事诉讼法第二百零四条的规定，向执行法院提出异议。
第十六条案外人异议审查期间，人民法院不得对执行标的进行处分。
案外人向人民法院提供充分、有效的担保请求解除对异议标的的查封、扣押、冻结的，人民法院可以准许；申请执行人提供充分、有效的担保请求继续执行的，应当继续执行。
因案外人提供担保解除查封、扣押、冻结有错误，致使该标的无法执行的，人民法院可以直接执行担保财产；申请执行人提供担保请求继续执行有错误，给对方造成损失的，应当予以赔偿。
第十七条案外人依照民事诉讼法第二百零四条规定提起诉讼，对执行标的主张实体权利，并请求对执行标的停止执行的，应当以申请执行人为被告；被执行人反对案外人对执行标的所主张的实体权利的，应当以申请执行人和被执行人为共同被告。
第十八条案外人依照民事诉讼法第二百零四条规定提起诉讼的，由执行法院管辖。
第十九条案外人依照民事诉讼法第二百零四条规定提起诉讼的，执行法院应当依照诉讼程序审理。经审理，理由不成立的，判决驳回其诉讼请求；理由成立的，根据案外人的诉讼请求做出相应的裁判。
第二十条案外人依照民事诉讼法第二百零四条规定提起诉讼的，诉讼期间，不停止执行。
案外人的诉讼请求确有理由或者提供充分、有效的担保请求停止执行的，可以裁定停止对执行标的进行处分；申请执行人提供充分、有效的担保请求继续执行的，应当继续执行。
案外人请求停止执行、请求解除查封、扣押、冻结或者申请执行人请求继续执行有错误，给对方造成损失的，应当予以赔偿。
第二十一条申请执行人依照民事诉讼法第二百零四条规定提起诉讼，请求对执行标的许可执行的，应当以案外人为被告；被执行人反对申请执行人请求的，应当以案外人和被执行人为共同被告。
第二十二条申请执行人依照民事诉讼法第二百零四条规定提起诉讼的，由执行法院管辖。
第二十三条人民法院依照民事诉讼法第二百零四条规定裁定对异议标的中止执行后，申请执行人自裁定送达之日起十五日内未提起诉讼的，人民法院应当裁定解除已经采取的执行措施。
第二十四条申请执行人依照民事诉讼法第二百零四条规定提起诉讼的，执行法院应当依照诉讼程序审理。经审理，理由不成立的，判决驳回其诉讼请求；理由成立的，根据申请执行人的诉讼请求作出相应的裁判。
第二十五条多个债权人对同一被执行人申请执行或者对执行财产申请参与分配的，执行法院应当制作财产分配方案，并送达各债权人和被执行人。债权人或者被执行人对分配方案有异议的，应当自收到分配方案之日起十五日内向执行法院提出书面异议。
第二十六条债权人或者被执行人对分配方案提出书面异议的，执行法院应当通知未提出异议的债权人或被执行人。
未提出异议的债权人、被执行人收到通知之日起十五日内未提出反对意见的，执行法院依异议人的意见对分配方案审查修正后进行分配；提出反对意见的，应当通知异议人。异议人可以自收到通知之日起十五日内，以提出反对意见的债权人、被执行人为被告，向执行法院提起诉讼；异议人逾期未提起诉讼的，执行法院依原分配方案进行分配。
诉讼期间进行分配的，执行法院应当将与争议债权数额相应的款项予以提存。
第二十七条在申请执行时效期间的最后六个月内，因不可抗力或者其他障碍不能行使请求权的，申请执行时效中止。从中止时效的原因消除之日起，申请执行时效期间继续计算。
第二十八条申请执行时效因申请执行、当事人双方达成和解协议、当事人一方提出履行要求或者同意履行义务而中断。从中断时起，申请执行时效期间重新计算。
第二十九条生效法律文书规定债务人负有不作为义务的，申请执行时效期间从债务人违反不作为义务之日起计算。
第三十条执行员依照民事诉讼法第二百一十六条规定立即采取强制执行措施的，可以同时或者自采取强制执行措施之日起三日内发送执行通知书。
第三十一条人民法院依照民事诉讼法第二百一十七条规定责令被执行人报告财产情况的，应当向其发出报告财产令。报告财产令中应当写明报告财产的范围、报告财产的期间、拒绝报告或者虚假报告的法律后果等内容。
第三十二条被执行人依照民事诉讼法第二百一十七条的规定，应当书面报告下列财产情况：
（一）收入、银行存款、现金、有价证券；
（二）土地使用权、房屋等不动产；
（三）交通运输工具、机器设备、产品、原材料等动产；
（四）债权、股权、投资权益、基金、知识产权等财产性权利；
（五）其他应当报告的财产。
被执行人自收到执行通知之日前一年至当前财产发生变动的，应当对该变动情况进行报告。
被执行人在报告财产期间履行全部债务的，人民法院应当裁定终结报告程序。
第三十三条被执行人报告财产后，其财产情况发生变动，影响申请执行人债权实现的，应当自财产变动之日起十日内向人民法院补充报告。
第三十四条对被执行人报告的财产情况，申请执行人请求查询的，人民法院应当准许。申请执行人对查询的被执行人财产情况，应当保密。
第三十五条对被执行人报告的财产情况，执行法院可以依申请执行人的申请或者依职权调查核实。
第三十六条依照民事诉讼法第二百三十一条规定对被执行人限制出境的，应当由申请执行人向执行法院提出书面申请；必要时，执行法院可以依职权决定。
第三十七条被执行人为单位的，可以对其法定代表人、主要负责人或者影响债务履行的直接责任人员限制出境。
被执行人为无民事行为能力人或者限制民事行为能力人的，可以对其法定代理人限制出境。
第三十八条在限制出境期间，被执行人履行法律文书确定的全部债务的，执行法院应当及时解除限制出境措施；被执行人提供充分、有效的担保或者申请执行人同意的，可以解除限制出境措施。
第三十九条依照民事诉讼法第二百三十一条的规定，执行法院可以依职权或者依申请执行人的申请，将被执行人不履行法律文书确定义务的信息，通过报纸、广播、电视、互联网等媒体公布。
媒体公布的有关费用，由被执行人负担；申请执行人申请在媒体公布的，应当垫付有关费用。
第四十条本解释施行前本院公布的司法解释与本解释不一致的，以本解释为准。
第1章引言 1、解释下列各词 源语言:编写源程序的语言（基本符号，关键字），各种程序设计语言都可以作为源语言。 源程序: 用接近自然语言（数学语言）的源语言（基本符号，关键字）编写的程序，它是翻译程序处理的对象。 目标程序: 目标程序是源程序经过翻译程序加工最后得到的程序。目标程序 （结果程序）一般可由计算机直接执行。 低级语言：机器语言和汇编语言。 高级语言：是人们根据描述实际问题的需要而设计的一个记号系统。如同自然语言（接近数学语言和工程语言）一样，语言的基本单位是语句，由符号组和一组用来组织它们成为有确定意义的组合规则。 翻译程序: 能够把某一种语言程序（源语言程序）改变成另一种语言程序（目标语言程序），后者与前者在逻辑上是等价的。其中包括：编译程序，解释程序，汇编程序。 编译程序: 把输入的源程序翻译成等价的目标程序（汇编语言或机器语言）， 然后再执行目标程序（先编译后执行），执行翻译工作的程序称为编译程序。 解释程序: 以该语言写的源程序作为输入，但不产生目标程序。按源程序中语句动态顺序逐句的边解释边执行的过程，完成翻译工作的程序称为解释程序。 2、什么叫“遍”？ 指对源程序或源程序的中间形式（如单词，中间代码）从头到尾扫描一次，并作相应的加工处理，称为一遍。 3、简述编译程序的基本过程的任务。 编译程序的工作是指从输入源程序开始到输出目标程序为止的整个过程，整个过程可以划分5个阶段。 词法分析：输入源程序，进行词法分析，输出单词符号。 语法分析：在词法分析的基础上，根据语言的语法规则把单词符号串分解成各类语法单位，并判断输入串是否构成语法正确的“程序”。 中间代码生成：按照语义规则把语法分析器归约（或推导）出的语法单位翻译成一定形式的中间代码。 优化：对中间代码进行优化处理。 目标代码生成：把中间代码翻译成目标语言程序。 4、编译程序与解释程序的区别？ 编译程序生成目标程序后，再执行目标程序；然而解释程序不生成目标程序，边解释边执行。 5、有人认为编译程序的五个组成部分缺一不可，这种看法正确吗？ 编译程序的5个阶段中，词法分析，语法分析，语义分析和代码生成生成是必须完成的。而中间代码生成和代码优化并不是必不可少的。优化的目的是为了提高目标程序的质量，没有这一部分工作，仍然能够得到目标代码。 6、编译程序的分类 目前基本分为：诊断编译程序，优化编译程序，交叉编译程序，可变目标编译程序。
民事诉讼流程 一、如果是作为原告，第一步是立案，确定好管辖的法院，准备好立案的材料。 1、材料如下： 1）、起诉书，具体内容参考网上的模板，原被告的姓名，住址，联系方式什么的，具体的诉讼请求，大致描述一下事实和理由，这里要注意2点，一是管辖的法院有争议的，可以先不填写，确定法院能受理后再填写，二是日期可以先空着，理由同上。 2）、原告的身份证复印件，如果原告是企业的话，提供企业营业执照的复印件，同时提供法定代表人身份证明一份 3）、被告如果是企业的话，有的法院要求提供一张被告的工商登记信息，确定被告是否存在，不同法院的规定不同，有的法院要求提供的是加盖工商局印章的被告工商登记信息，有的法院同意使用网上查询的书面信息，可以上当地的工商局红盾网查询，去法院立案之前可以事先询问一下 4）、证据的复印件，如果证据较多，可以单独列一份证据目录 5）、如果聘请了律师，还须提交一份民事委托书 注意事项：1）、如果是离婚案件，还要提交结婚证复印件 2）、向法院提交的起诉书的份数是被告人数+1，可以自己单独打印一份留用。 3）、证据原件由当事人保管，律师只保留复印件，证据最好复印2份，一份交法院，一份自已留用。 4）、立案时，可以当事人本人去，或者委托律师去，本人去，民事委托书可以先不提交，等开庭时提交 5）、每个法院立案时间不一样，尤其是下午时间差别很大，周五下午一般不立案，年底要审结一些案件，一般也不立案了，所以一定要注意立案的时间。 2、法院如果审核通过，可以受理，就会给当事人开诉讼费的发票，去收费处交费，如果不涉及财产，诉讼费不会很贵，涉及了财产，按相关规定计算，诉讼费的计算可以上网参考专门的诉讼费计算器，法院的收取方法也不同，有的是全额收取，有的是收取一半，这个也要事先问清楚，因为只有顺利交费，才能继续办理受理的手续。 3、交费完毕，法院会让你填写立案的受理通知书，一张是原被告的信息，一张是证据，一张是受理告知书，一张是诉讼材料，告知原被告双方的权利义务。完成上面的3步，立案阶段就结束了。 第二步，法院将案件分配到不同法官的手上，法官会告知双方当事人，开庭时间会另行通知，在这个阶段，是双方提交证据和书面答辩的阶段，这时可以委托律师前去查阅对方提交的证据和答辩状，为开庭做准备。 第三步，法官通知开庭的时间，双方出庭，进入实体审理的阶段 1，法官核实原被告的身份信息，双方诉讼代理人的基本情况。如果有第三人的，核实第三人的情况。开庭的时候原被告席位只能坐2人，其他人坐旁听席，离法官近的人为主要的发言人。法官宣读法庭纪律，告知原被告双方权利义务，法官和书记员的基本情况，询问双方是否要申请回避。 2，开始法庭调查阶段，先由原告宣读起诉书，有的法庭简化了这个阶段，如果和立案时提交的起诉书一致，则不用当庭宣读，然后法官询问诉讼请求，就起诉书中提及的问题询问原告，接着被告进行答辩，法官询问被告，这个阶段时间不会太长。 3、进入举证质证阶段，如果证据提交的太多，法官会要求休庭一会，让书记员先行输入证据信息。输入完毕程序继续进行，先提交原告的证据，交给被告一一质证，被告就证据的真
法〔2016〕373号 最高人民法院 关于严格规范终结本次执行程序的规定（试行） 为严格规范终结本次执行程序，维护当事人的合法权益，根据《中华人民共和国民事诉讼法》及有关司法解释的规定，结合人民法院执行工作实际，制定本规定。 第一条人民法院终结本次执行程序，应当同时符合下列条件： （一）已向被执行人发出执行通知、责令被执行人报告财产； （二）已向被执行人发出限制消费令，并将符合条件的被执行人纳入失信被执行人名单; （三）已穷尽财产调查措施,未发现被执行人有可供执行的财产或者发现的财产不能处置; （四）自执行案件立案之日起已超过三个月； （五）被执行人下落不明的，已依法予以查找；被执行人或者其他人妨害执行的，已依法采取罚款、拘留等强制措施，构成犯罪的，已依法启动刑事责任追究程序。 第二条本规定第一条第一项中的“责令被执行人报告财产”，是指应当完成下列事项： （一）向被执行人发出报告财产令； （二）对被执行人报告的财产情况予以核查； （三）对逾期报告、拒绝报告或者虚假报告的被执行人或者相关人员，依法采取罚款、拘留等强制措施，构成犯罪的，依法启动刑事责任追究程序。 人民法院应当将财产报告、核实及处罚的情况记录入卷。 第三条本规定第一条第三项中的“已穷尽财产调查措施”，是指应当完成下列调查事项： （一）对申请执行人或者其他人提供的财产线索进行核查； （二）通过网络执行查控系统对被执行人的存款、车辆及其他交通运输工具、不动产、有价证券等财产情况进行查询； （三）无法通过网络执行查控系统查询本款第二项规定的财产情况的，在被执行人住所地或者可能隐匿、转移财产所在地进行必要调查； （四）被执行人隐匿财产、会计账簿等资料且拒不交出的，依法采取搜查措施； （五）经申请执行人申请，根据案件实际情况，依法采取审计调查、公告悬赏等调查措施； （六）法律、司法解释规定的其他财产调查措施。 人民法院应当将财产调查情况记录入卷。 第四条本规定第一条第三项中的“发现的财产不能处置”，包括下列情形：
编译程序和解释程序 程序设计语言处理系统是系统软件中的一大类，它随被处理的语言及其处理方法和处理过程的不同而不同。任何一个语言处理系统通常都包括一个编译程序，它把一种语言的程序翻译成等价的另一种语言的程序。被翻译的语言和程序分别称为源语言和源程序，而翻译生成的语言和程序分别称为目标语言和目标程序，按照不同的翻译处理方法，翻译程序可分为以下三类： ⑴从汇编语言到及其语言的翻译程序，称为汇编程序。 ⑵按源程序中语句的执行顺序，逐条翻译并立即执行相关功能的处理程序、称为解释程序。 ⑶从高级语言到汇编语言（或机器语言）的翻译程序，称为编译语言。 除了翻译程序外，语言处理系统通常还包括连接程序（将多个分别编译或汇编过的目标程序和库文件进行组合）和装入程序（将目标程序装入内存并启动执行）等。 由于汇编语言的指令与机器语言指令大体上保持一一对应关系，因而汇编程序较为简单，一下只对解释程序和编译程序做简单说明。 1、解释程序 解释程序对源程序进行翻译的方法相当于两种自然语言间的口译。解释程序对源程序的语句从头到尾逐句扫描、逐句翻译、并且翻译一句执行一句，因而这种翻译方式并不形成机器语言形式的目标程序。 解释程序的优点是实现算法简单，且易于在解释过程中灵活方便地插入所需要的修改和测试措施；其缺点是运行效率低。例如，对于源程序中需要多次重复执行的语句，解释程序将要反复的取出、翻译和执行它们。根据这些特点，解释程序通常适合于以交互方式工作的、或在测试状态下运行的、或运行时间与解释时间差不多的程序。 2、编译程序 编译程序对源程序进行解释的方法相当于笔译。在编译程序的执行过程中，要对源程序扫描一遍或几遍，最终形成一个可在具体计算机上执行的目标程序。编译程序的实现算法较为复杂，但通过编译程序的处理可以产生高效运行的目标程序，并把它保存在磁盘上，以备多次执行。因此，编译程序更适合于翻译那些规模大、结构复杂、运行时间长的大的应用程序。
说说申请法院执行中的那些事儿! 在民间借贷纠纷日益增多的今天，有诸多的解决方法。但是，无论是公证、人民调解、仲裁还是诉讼，最终都有可能诉诸人民法院的执行。如何提起执行 申请、如何选择执行措施、执行过程中存在哪些问题，什么会导致执行中止、终结、回转？下面我们一一为大家解答。 一、申请执行 （一）申请执行的依据 1. 发生法律效力的民事判决、裁定，以及刑事判决、裁定中的财产部分，由第一审人民法院或者与第一审人民法院同级的被执行的财产所在地人民法院执行。 2. 法律规定由人民法院执行的其他法律文书，由被执行人住所地或者被执行的财产所在地人民法院执行。 （二）申请执行的条件 1. 申请或转移执行的法律文书已经生效； 2. 申请执行人是法律文书确定的权利人或其继承人、权利继受人； 3. 申请执行人在法定期限内提出申请； 4. 申请执行的法律文书有给付内容，且执行标的和被执行人明确； 5. 义务人在生效法律文书确定的期限内未履行义务； 6. 属于受申请的人民法院管辖。 注意:
1. 申请执行的法定期限是2年； 2. 期间从法律文书规定履行期间的最后一日起计算；法律文书规定分期履行的，从规定的每次履行期间的最后一日起计算；法律文书未规定履行期间的，从 法律文书生效之日起计算。 3. 人民法院自收到申请执行书之日起超过六个月未执行的，申请执行人可以向上一级人民法院申请执行。上一级人民法院经审查，可以责令原人民法院在一定期限内执行，也可以决定由本院执行或者指令其他人民法院执行。 4. 可口头提出申请。 （三）申请执行需要提交的材料 1. 申请执行书：写明申请执行的理由、事项、执行标的以及申请执行人所了解的被执行人的财产状况； 2. 生效法律文书副本； 3. 申请执行人的身份证明； 4. 继承人或权利继受人：应当提交继承或承受权利证明文件； 5. 申请执行仲裁机构的仲裁裁决，应当向人民法院提交有仲裁条款的合同书或仲裁协议书； 6. 其他应当提交的文件或证件。 （四）强制执行申请书范文 执行申请人：北京XX科技有限公司 住所地：北京XX区XX镇XX村
强制执行申请书 申请人： 被申请人： 执行请求： 申请强制被申请人支付申请人《借款合同》约定的下列款项： 1.本金人民币_____（大写）元整； 2.合同期间利息人民币______元，逾期利息人民币______元（自__年__月__日至___年__月__日）； 3.执行期间利息，自___年___月___日起至执行完毕之日止，按中国人民银行同期贷款利率计算； 4.为收回借款所产生的全部费用（包括但不限于公证费、评估费、律师费、执行费等）。 事实与理由： 申请人与被申请人于___年___月____日签订《借款合同》，合同约定：“借款人因资金周转需要向出借人借款人民币_____万元整，月利率___‰，借款期限为__个月，自__年__月___日至_____年_____月_____日止，抵押人以其名下的位于 XX路X号4号楼X单元X层西户（房屋所有权证编号：房权证字第____号，建筑面积：___平方米）抵押至____做担保。如借款人、抵押人未按合同约定还本付息，借款人、抵押人自愿接受有管辖权人民法院的强制执行，
出借人可向有管辖权的法院申请强制执行，并约定了明确、具体的核算方式”。 合同签订当天，双方在______公证处办理了赋予《借款合同》强制执行效力公证【公证书编号：_________号】。合同履行期间，被申请人未按约定支付利息。合同到期后，被申请人拒绝归还本金。为维护自身的正当权利，经申请人向____公证处申请核查执行事实。____年___月____日，公证处下发了_______号《执行证书》。 鉴于被申请人在公证文书生效后未按照约定履行还款义务，特申请贵院执行，以维护申请人的合法权益。 此致 区人民法院
执行案件流程管理细则（草稿） 为进一步规范执行行为，加强执行权的监督与制约，提高执行工作效率，确保公正高效地实现生效法律文书确定的内容，全力维护当事人的合法权益，建立公开、公正、廉洁、高效的执行工作机制，根据《中华人民共和国民事诉讼法》、《最高人民法院关于人民法院执行工作若干问题的规定（试行）》、《河南省高级人民法院关于中级人民法院对辖区法院执行工作统一管理的规定（试行）》等有关规定，结合全市法院执行工作实际，制定本细则。 第一章总则 第一条执行权的行使遵循公开、公正、廉洁、高效的原则，加强对执行行为的内部监督，规范执行实施的各个环节。 第二条执行案件流程管理实行分段集约执行与承办法官负责制相结合，特殊案件特别处理的原则。 第三条坚持执行公开原则。执行流程的各个环节、各个方面的情况和信息，除依法应当保密的外，均应当向当事人和社会公众公开。 第四条坚持和解优先原则。执行人员应当将和解理念贯穿于执行各环节，促进和谐执行，维护社会稳定。
第五条执行流程实施信息化管理。案件的立案信息、执行进程信息、执行结果信息等均在案件管理系统中予以纪录，并允许当事人查询案件进程。 第六条执行中的重大事项实行合议制。 第二章执行机构职责分工 第七条全市法院执行局应当按照分权运行机制设立执行实施、执行裁决部门，分别行使执行实施权和执行裁决权。暂时无法设立下设部门的，可以确定不同人员组成合议庭，执行中的裁决事项和重大事项，提交合议庭讨论决定。 第八条执行实施部门全面负责执行案件的实施工作。具体实施财产调查权，查封、扣押、冻结、划拨等财产控制权，拘传、罚款、拘留决定执行权。 执行人员和执行案件较多的法院执行局可以在执行实施部门下设若干执行小组，对不同的案件实行繁简分流，提高执行工作质量和效率。 第九条执行裁决部门负责行使执行裁决权及办理其他综合事项。主要的裁决事项为： 1、对不符合立案条件的案件退回立案庭； 2、对公证债权文书、仲裁裁决书进行审查，发现确有错误的，裁定不予执行； 3、裁定变更、追加执行主体； 4、裁定以物抵债和确认拍卖、变卖成交结果；
关于民事执行程序法律法规、司法解释汇总 1、《中华人民共和国民事诉讼法》第三篇执行程序 2、《最高人民法院关于适用<中华人民共和国民事诉讼法>若干问题的意见 3、《最高人民法院关于人民法院执行工作若干问题的规定（施行）》 4、《最高人民法院关于适用<中华人民共和国民事诉讼法>执行程序若干问题的解释》 5、《最高人民法院关于当事人对具有强制执行效力的公证债权文书的内容有争议提起诉讼人民法院是受理问题的批复》 6、《关于查询、冻结、扣划企业事业单位、机关、团体银行存款的通知》 7、《最高人民法院关于人民法院民事执行中查封、扣押、冻结财产的规定》 8、《最高人民法院关于人民法院民事执行中拍卖、变卖财产的规定》 9、《最高人民法院关于人民法院执行设定抵押的房屋的规定》 10、《最高人民法院关于人民法院办理执行案件若干期限的规定》 11、《最高人民法院关于正确适用暂缓执行措施若干问题的规定》 12、《关于人民法院执行公开的若干规定》 13、《最高人民法院关于人民法院能否对信用证开证保证金采取冻结和扣划措施问题的规定》 14、《最高人民法院关于当事人因对不予执行仲裁裁决的裁定不服而申请再审人民法院不予受理的批复》 15、《国家税务总局关于人民法院强制执行被执行人财产有关税收问题的复函》 16、《关于环保部门就环境行政处罚申请人民法院强制执行期限有关问题的函》 17、《最高人民法院关于人民法院对申请强制执行仲裁机构的调解书应如何处理的通知》 18、《最高人民法院关于人民法院能否对信用证开证保证金采取冻结和扣划措施问题的规定》 19、《规范法院执行和国土房管部门协助执行若干问题的通知》 20、《民法院执行工作纪律处分办法（试行）》
编译和解释的区别 编译和解释的区别在哪?编译器是把源程序的每一条语句都编译成机器语言,并保存成 二进制文件,这样运行时计算机可以直接以机器语言来运行此程序,速度很快; 而解释器则是只在执行程序时,才一条一条的解释成机器语言给计算机来执行,所以运 行速度是不如编译后的程序运行的快的. 这是因为计算机不能直接认识并执行我们写的语句,它只能认识机器语言(是二进制的 形式) 一、低级语言与高级语言 最初的计算机程序都是用0和1的序列表示的，程序员直接使用的是机器指令，无需 翻译，从纸带打孔输入即可执行得到结果。后来为了方便记忆，就将用0、1序列表示的机器指令都用符号助记，这些与机器指令一一对应的助记符就成了汇编指令，从而诞生了汇编语言。无论是机器指令还是汇编指令都是面向机器的，统称为低级语言。因为是针对特定机器的机器指令的助记符，所以汇编语言是无法独立于机器(特定的CPU体系结构)的。但汇 编语言也是要经过翻译成机器指令才能执行的，所以也有将运行在一种机器上的汇编语言翻译成运行在另一种机器上的机器指令的方法，那就是交叉汇编技术。 高级语言是从人类的逻辑思维角度出发的计算机语言，抽象程度大大提高，需要经过 编译成特定机器上的目标代码才能执行，一条高级语言的语句往往需要若干条机器指令来完成。高级语言独立于机器的特性是靠编译器为不同机器生成不同的目标代码(或机器指令)来实现的。那具体的说，要将高级语言编译到什么程度呢，这又跟编译的技术有关了，既可以编译成直接可执行的目标代码，也可以编译成一种中间表示，然后拿到不同的机器和系统上去执行，这种情况通常又需要支撑环境，比如解释器或虚拟机的支持，Java程序编译成bytecode，再由不同平台上的虚拟机执行就是很好的例子。所以，说高级语言不依赖于机器，是指在不同的机器或平台上高级语言的程序本身不变，而通过编译器编译得到的目标代码去适应不同的机器。从这个意义上来说，通过交叉汇编，一些汇编程序也可以获得不同机器之间的可移植性，但这种途径获得的移植性远远不如高级语言来的方便和实用性大。 二、编译与解释 编译是将源程序翻译成可执行的目标代码，翻译与执行是分开的;而解释是对源程序的翻译与执行一次性完成，不生成可存储的目标代码。这只是表象，二者背后的最大区别是：对解释执行而言，程序运行时的控制权在解释器而不在用户程序;对编译执行而言，运行时 的控制权在用户程序。 解释具有良好的动态特性和可移植性，比如在解释执行时可以动态改变变量的类型、 对程序进行修改以及在程序中插入良好的调试诊断信息等，而将解释器移植到不同的系统上，则程序不用改动就可以在移植了解释器的系统上运行。同时解释器也有很大的缺点，比如执行效率低，占用空间大，因为不仅要给用户程序分配空间，解释器本身也占用了宝贵的系统资源。 编译器是把源程序的每一条语句都编译成机器语言,并保存成二进制文件,这样运行时 计算机可以直接以机器语言来运行此程序,速度很快; 而解释器则是只在执行程序时,才一条一条的解释成机器语言给计算机来执行,所以运 行速度是不如编译后的程序运行的快的.
最高人民法院关于适用 《中华人民共和国民事诉讼法》执行程序若干问题的解释（2008年9月8日最高人民法院审判委员会第1452次会议通过）为了依法及时有效地执行生效法律文书，维护当事人的合法权益，根据2007年10月修改后的《中华人民共和国民事诉讼法》（以下简称民事诉讼法），结合人民法院执行工作实际，对执行程序中适用法律的若干问题作出如下解释：第一条申请执行人向被执行的财产所在地人民法院申请执行的，应当提供该人民法院辖区有可供执行财产的证明材料。 第二条对两个以上人民法院都有管辖权的执行案件，人民法院在立案前发现其他有管辖权的人民法院已经立案的，不得重复立案。 立案后发现其他有管辖权的人民法院已经立案的，应当撤销案件；已经采取执行措施的，应当将控制的财产交先立案的执行法院处理。 第三条人民法院受理执行申请后，当事人对管辖权有异议的，应当自收到执行通知书之日起十日内提出。 人民法院对当事人提出的异议，应当审查。异议成立的，应当撤销执行案件，并告知当事人向有管辖权的人民法院申请执行；异议不成立的，裁定驳回。当事人对裁定不服的，可以向上一级人民法院申请复议。 管辖权异议审查和复议期间，不停止执行。 第四条对人民法院采取财产保全措施的案件，申请执行人向采取保全措施的人民法院以外的其他有管辖权的人民法院申请执行的，采取保全措施的人民法院应当将保全的财产交执行法院处理。 第五条执行过程中，当事人、利害关系人认为执行法院的执行行为违反法律规定的，可以依照民事诉讼法第二百零二条的规定提出异议。 执行法院审查处理执行异议，应当自收到书面异议之日起十五日内作出裁定。 第六条当事人、利害关系人依照民事诉讼法第二百零二条规定申请复议的，应当采取书面形式。 第七条当事人、利害关系人申请复议的书面材料，可以通过执行法院转交，也可以直接向执行法院的上一级人民法院提交。
最高人民法院关于适用《中华人民共和国民事诉讼法》执行程序若干问题的解释 （法释〔2008〕13号） 为了依法及时有效地执行生效法律文书，维护当事人的合法权益，根据2007年10月修改后的《中华人民共和国民事诉讼法》（以下简称民事诉讼法），结合人民法院执行工作实际，对执行程序中适用法律的若干问题作出如下解释： 第一条申请执行人向被执行的财产所在地人民法院申请执行的，应当提供该人民法院辖区有可供执行财产的证明材料。 第二条对两个以上人民法院都有管辖权的执行案件，人民法院在立案前发现其他有管辖权的人民法院已经立案的，不得重复立案。 立案后发现其他有管辖权的人民法院已经立案的，应当撤销案件；已经采取执行措施的，应当将控制的财产交先立案的执行法院处理。 第三条人民法院受理执行申请后，当事人对管辖权有异议的，应当自收到执行通知书之日起十日内提出。 人民法院对当事人提出的异议，应当审查。异议成立的，应当撤销执行案件，并告知当事人向有管辖权的人民法院申请执行；异议不成立的，裁定驳回。当事人对裁定不服的，可以向上一级人民法院申请复议。 管辖权异议审查和复议期间，不停止执行。 （相关资料: 裁判文书1篇） 第四条对人民法院采取财产保全措施的案件，申请执行人向采取保全措施的人民法院以外的其他有管辖权的人民法院申请执行的，采取保全措施的人民法院应当将保全的财产交执行法院处理。 第五条执行过程中，当事人、利害关系人认为执行法院的执行行为违反法律规定的，可以依照民事诉讼法第二百零二条的规定提出异议。 执行法院审查处理执行异议，应当自收到书面异议之日起十五日内作出裁定。 （相关资料: 裁判文书4篇） 第六条当事人、利害关系人依照民事诉讼法第二百零二条规定申请复议的，应当采取书面形式。 第七条当事人、利害关系人申请复议的书面材料，可以通过执行法院转交，也可以直接向执行法院的上一级人民法院提交。 执行法院收到复议申请后，应当在五日内将复议所需的案卷材料报送上一级人民法院；上一级人民法院收到复议申请后，应当通知执行法院在五日内报送复议所需的案卷材料。
《编译原理》课后习题答案第一章 第 1 章引论 第 1 题 解释下列术语： （1）编译程序 （2）源程序 （3）目标程序 （4）编译程序的前端 （5）后端 （6）遍 答案： （1）编译程序：如果源语言为高级语言，目标语言为某台计算机上的汇编语言或机器语言，则此翻译程序称为编译程序。 （2）源程序：源语言编写的程序称为源程序。 （3）目标程序：目标语言书写的程序称为目标程序。 （4）编译程序的前端：它由这样一些阶段组成：这些阶段的工作主要依赖于源语言而与目标机无关。通常前端包括词法分析、语法分析、语义分析和中间代码生成这些阶 段，某些优化工作也可在前端做，也包括与前端每个阶段相关的出错处理工作和符 号表管理等工作。 （5）后端：指那些依赖于目标机而一般不依赖源语言，只与中间代码有关的那些阶段，即目标代码生成，以及相关出错处理和符号表操作。 （6）遍：是对源程序或其等价的中间语言程序从头到尾扫视并完成规定任务的过程。 第 2 题 一个典型的编译程序通常由哪些部分组成？各部分的主要功能是什么？并画出编译程 序的总体结构图。 答案： 一个典型的编译程序通常包含 8 个组成部分，它们是词法分析程序、语法分析程序、语义分析程序、中间代码生成程序、中间代码优化程序、目标代码生成程序、表格管理程序和错误处理程序。其各部分的主要功能简述如下。 词法分析程序：输人源程序，拼单词、检查单词和分析单词，输出单词的机表达形式。 语法分析程序：检查源程序中存在的形式语法错误，输出错误处理信息。 语义分析程序：进行语义检查和分析语义信息，并把分析的结果保存到各类语义信息表中。 中间代码生成程序：按照语义规则，将语法分析程序分析出的语法单位转换成一定形式 的中间语言代码，如三元式或四元式。 中间代码优化程序：为了产生高质量的目标代码，对中间代码进行等价变换处理。 目标代码生成程序：将优化后的中间代码程序转换成目标代码程序。 表格管理程序：负责建立、填写和查找等一系列表格工作。表格的作用是记录源程序的 各类信息和编译各阶段的进展情况，编译的每个阶段所需信息多数都从表格中读取，产生的中间结果都记录在相应的表格中。可以说整个编译过程就是造表、查表的工作过程。需要指出的是，这里的“表格管理程序”并不意味着它就是一个独立的表格管理模块，而是指编译程序具有的表格管理功能。 错误处理程序：处理和校正源程序中存在的词法、语法和语义错误。当编译程序发现源
说说申请法院执行中的那些事儿！ 在民间借贷纠纷日益增多的今天，有诸多的解决方法。但是，无论是公证、人民调解、仲裁还是诉讼，最终都有可能诉诸人民法院的执行。如何提起执行申请、如何选择执行措施、执行过程中存在哪些问题，什么会导致执行中止、终结、回转？下面我们一一为大家解答。 一、申请执行 （一）申请执行的依据 1.发生法律效力的民事判决、裁定，以及刑事判决、裁定中的财产部分，由第一审人民法院或者与第一审人民法院同级的被执行的财产所在地人民法院执行。 2.法律规定由人民法院执行的其他法律文书，由被执行人住所地或者被执行的财产所在地人民法院执行。 （二）申请执行的条件 1.申请或转移执行的法律文书已经生效； 2.申请执行人是法律文书确定的权利人或其继承人、权利继受人； 3.申请执行人在法定期限内提出申请； 4.申请执行的法律文书有给付内容，且执行标的和被执行人明确； 5.义务人在生效法律文书确定的期限内未履行义务； 6.属于受申请的人民法院管辖。 注意：
1.申请执行的法定期限是2年； 2.期间从法律文书规定履行期间的最后一日起计算；法律文书规定分期履行的，从规定的每次履行期间的最后一日起计算；法律文书未规定履行期间的，从法律文书生效之日起计算。 3.人民法院自收到申请执行书之日起超过六个月未执行的，申请执行人可以向上一级人民法院申请执行。上一级人民法院经审查，可以责令原人民法院在一定期限内执行，也可以决定由本院执行或者指令其他人民法院执行。 4.可口头提出申请。 （三）申请执行需要提交的材料 1.申请执行书：写明申请执行的理由、事项、执行标的以及申请执行人所了解的被执行人的财产状况； 2.生效法律文书副本； 3.申请执行人的身份证明； 4.继承人或权利继受人：应当提交继承或承受权利证明文件； 5.申请执行仲裁机构的仲裁裁决，应当向人民法院提交有仲裁条款的合同书或仲裁协议书； 6.其他应当提交的文件或证件。 （四）强制执行申请书范文 执行申请人：北京XX科技有限公司 住所地：北京XX区XX镇XX村
人民法院立案流程总图 登 记 审查条件 核算诉讼费 起 诉 受 理 不予受理 驳 回 移 卷 刑庭 其它 民庭 审理裁判 上 诉 提 审 重 审 质 检 考 评 起 诉 抗 诉 申 诉 归 档
人民法院民事审判庭审判流程图 立案庭移送案件 庭长分案到人 审 理 回 避 庭前准备 当事人3日内申请 普通程序6个月审结（我院3个月审结） 简易程序3个月审结（我院40日审结） 案件评查 院长依职权提起再审 归 档 整 改 程序终结 未达成协议 达成协议 5日内合议 缺席判决 诉讼调解 诉讼终结 撤 诉 判决裁定 诉讼中止 延期审理 文书制作5日内 庭长审核2日内 文书送达 院长审批3日内 不合格案件 合格案件
人民法院刑事案件审判流程图 一审 案件 人民检察院起诉 法院立案庭进行立案审查符合 立案 条件 不符 合立 案条 件 确定合议 庭组成人 员 将起诉书 副本送达 被告人，并 保障其辩 护权的行 驶 将开庭时 间、地点， 在开庭3 日以前通 知人民检 察院 传唤当事 人，通知辩 护人、证 人、鉴定 人、翻译人 员，传票和 通知书在 开庭前3 日送达 公开审判 的案件，在 开庭3日 以前公布 案由、被告 人姓名、开 庭时间和 地点 宣布开庭，核对当事 人身份，宣布合议庭 成员，告知当事人权 利义务，询问是否申 请回避 法庭调解：宣读起诉 书，被告人、被害人 就指控事实发表意 见，讯问被告人，审 查核实证据 法庭辩论：公诉人发 言，被害人及其诉讼 代理人发言，被告人 自行辩护、辩护人辩 护、控辩双方进行辩 论 被告人就指控的罪 行进行最后辩护和 最后陈述的活动 合议庭全体成员 共同对案件事实 的认定和法律的 适用进行全面的 分析评定，并作出 处理决定的诉讼 活动 进入 二审 程序退回 检察 院补 充材 料 判决发 生法律 效力，被 告人交 执行机 关受理后 排期开 庭 符合立案条件开 庭 审 理 合议庭 合议 作出裁决 （宣判） 被 告 人 上 诉 检 察 机 关 抗 诉 被告人 不上诉 检察 机关 不抗 诉
严格执行程序规范执行行为 推进反规避执行活动深入开展 今年以来，莱城区法院按照上级法院的统一部署，以创建“无执行积案先进法院”为工作主线，以反规避执行专项活动为有效载体，以严格执行程序、规范执行行为为着力点，充分发挥执行工作职能作用，突出工作重点，加大工作力度，执行工作取得了新的进展。 一、下大气力，努力推进执行工作规范化 一是完善执行分权机制改革。对执行局内设机构和职能进行了重新整合，执行一庭、执行二庭具体负责案件的执行实施权，执行三庭综合行使执行监督权和执行裁决权。制定执行工作流程规定，理顺庭长、局长、分管院长的权限划分，厘清庭务会、局务会、审委会的职能配置。通过裁决权与实施权分离，以及明确各项节点工作的控制管理，进一步增强了执行工作的规范度和公正性，提高了执行工作效率。 二是打造“阳光执行”运行机制。根据该院年初确立的“阳光司法”要求，积极打造“阳光执行”工程。制定了《莱城区法院执行立案须知》、《执行风险告知书》、《执行干警联系卡》，并在立案窗口逐案向执行申请人发放，通过该项措施，告知申请人执行风险以及如何提供被执行人的财产状况
和线索，当事人通过联系卡可以随时了解案件在立案、强制措施、评估拍卖、异议审查等8个方面的执行情况。做到了执行立案公开、执行听证公开，执行裁决公开、执行措施公开和执行进度公开，从而大大提高了执行工作的透明度。 三是推行案件警示督办制度。为了实现执行工作的整体联动，莱城区法院推行了案件警示督办制度：对超过三分之二执限尚未结案的，进行电话督办；超过五分之四执限尚未结案的发院长督办令，督办令由院长签发；超过执限尚未结案进行督办通报。对无正当理由，在法定期限内不能执结，或者有正当理由延长期限后，仍不能执结的，由院长安排他人执行。年度内两次出现该情形者，调离执行岗位。督办通报三次以上的，取消所在部门年度评先树优资格。今年以来，共电话督办执行案件120件次，发出院长督办令16件次，有效地实现了对执行工作的监督和管理。 四是强化工作调度和业务学习。建立了周例会、月调度制度。每周五召开一次例会，对疑难复杂执行案件进行集中会诊，并对新颁法律、司法解释进行集中学习；每月月底召开一次调度会，对各庭执结案件主要指标、信息录入、调研宣传、亮点工作等全面工作进行集中调度。 二、多措并举，突出抓好两项活动见成效 今年上半年，莱城区法院在开展正常执行工作的同时，
计算机并不能直接地接受和执行用高级语言编写的源程序，源程序在输入计算机时，通过"翻译程序"翻译成机器语言形式的目标程序，计算机才能识别和执行。这种"翻译"通常有两种方式，即编译方式和解释方式。编译方式是指利用事先编好的一个称为编译程序的机器语言程序，作为系统软件存放在计算机内，当用户将高级语言编写的源程序输入计算机后，编译程序便把源程序整个地翻译成用机器语言表示的与之等价的目标程序，然后计算机再执行该目标程序，以完成源程序要处理的运算并取得结果。解释方式是指源程序进入计算机后，解释程序边扫描边解释，逐句输入逐句翻译，计算机一句句执行，并不产生目标程序。如PASCAL、FORTRAN、COBOL等高级语言执行编译方式；BASIC语言则以执行解释方式为主；而PASCAL、C语言是能书写编译程序的高级程序设计语言。 编译程序、解释程序、汇编程序是3种语言处理程序。其区别主要为：汇编程序（为低级服务）是将汇编语言书写的源程序翻译成由机器指令和其他信息组成的目标程序。解释程序（为高级服务）直接执行源程序或源程序的内部形式，一般是读一句源程序，翻译一句，执行一句，不产生目标代码，如BASIC解释程序。编译程序（为高级服务）是将高级语言书写的源程序翻译成与之等价的低级语言的目标程序。编译程序与解释程序最大的区别之一在于前者生成目标代码，而后者不生成；此外，前者产生的目标代码的执行速度比解释程序的执行速度要快；后者人机交互好，适于初学者使用。用COBOL、FORTRAN等语言编写的程序考虑到执行速度一般都是编译执行。 解释:程序运行时，取一条指令，将其换化为机器指令，再执行这条机器指令。编译：程序运行时之前，将程序的把有代码编译为机器代码，再运行这个程序。计算机并不能直接地接受和执行用高级语言编写的源程序，源程序在输入计算机时，通过"翻译程序"翻译成机器语言形式的目标程序，计算机才能识别和执行。这种"翻译"通常有两种方式，即编译方式和解释方式。 编译方式是指利用事先编好的一个称为编译程序的机器语言程序，作为系统软件存放在计算机内，当用户将高级语言编写的源程序输入计算机后，编译程序便把源程序整个地翻译成用机器语言表示的与之等价的目标程序，然后计算机再执行该目标程序，以完成源程序要处理的运算并取得结果。 解释方式是指源程序进入计算机后，解释程序边扫描边解释，逐句输入逐句翻译，计算机一句句执行，并不产生目标程序。如PASCAL、FORTRAN、COBOL等高级语言执行编译方式；BASIC语言则以执行解释方式为主；而PASCAL、C 语言是能书写编译程序的高级程序设计语言。 简单的说，编译就是全文翻译，全部翻译完才执行。解释就相当于同声翻译，边翻译边执行。
人民法院执行案件流程管理规则(试行) 为了进一步规范执行行为，提高执行工作效率，确保及时有效地实现生效法律文书确定的内容，根据《中华人民共和国民事诉讼法》以及相关司法解释的规定，结合执行工作实际，制定本规则。 一、总则 第一条执行实施流程管理遵循公开、公正、高效的原则，规范执行实施的各个环节。 第二条执行流程的各个环节、各个方面的情况和信息，除依法应当保密或者公开后可能发生妨害执行的情形外，均应向当事人和社会公众公开。 第三条强化执行实施权的内部分权和制约，坚持分段集约执行与执行人员包案执行相结合，实行繁简分流。 第四条执行实施案件的立案时间、承办人、案件进度、执行结果等依法可以公开的信息均应在电脑上予以记录，并允许当事人查询案件进程。 第五条执行实施流程应当连续不间断地进行，但执行案件出现依法中止执行、暂缓执行、指定执行、提级执行、委托执行等情形的除外。 二、执行准备 第六条执行机构收到本院立案机构移转的执行实施案件后，应当在3日内完成下列工作： (一)收案登记; (二)分配案件; (三)初步审查; (四)制作并送达执行通知书，财产报告令; (五)对于被执行人不履行法律文书确定的义务，并有可能隐匿、转移财产的，立即采取执行措施。 第七条执行案件的分配遵循随机原则。出现同一被执行人的系列案件等特殊情况的，由负责分案的人员报请执行机构负责人指定分配。 第八条经审查，对于不符合立案条件的执行实施案件，应当退回立案机构处理。 第九条采取强制执行措施前向被执行人发出执行通知书的，按照下列执行标的类型的不同确定指定履行期间： (一)涉及金钱债权执行的，指定履行期间最长不超过10日; (二)涉及非金钱债权执行的，指定履行期间最长不超过7日; (三)同一执行依据对同一被执行人确定的债务，既涉及金钱债权执行，又涉及非金钱债权执行的，指定的履行期间最长不超过15日。 第十条被执行人下落不明或者被执行人地址不实导致法律文书被退回的，应当在30日内办理公告送达手续。公告送达期间不影响执行程序的进行，但不得对相关财产采取处置措施。 三、财产调查与控制 第十一条承办人收案后，应当在7日内要求申请人提供财产线索。 申请人不能提供财产线索的，不影响财产调查和控制工作的进行。 第十二条承办人应在收案60日内完成财产的调查和控制工作，案情复杂的经执行机构负责人批准可以适当延长。 申请执行人已经提供了可供执行的财产线索或者被执行人已经申报了确实财产的，必须在5日内采取财产控制措施;其中情况紧急能够立即采取财产控制措施的，必须立即采取控制措施。 第十三条查找确实的财产线索不能即时办理财产控制手续的，应当自获得确实的财产
一、填空题: 1-01.编译程序的工作过程一般可以划分为词法分析,语法分析,语义分析，之间代码生成,代码优化等几个基本阶段,同时还会伴有表格处理和出错处理 . 1-02.若源程序是用高级语言编写的,目标程序是机器语言程序或汇编程序 ,则其翻译程序称为编译程序. 1-03.编译方式与解释方式的根本区别在于是否生成目标代码 . 1-04.翻译程序是这样一种程序,它能够将用甲语言书写的程序转换成与其等价的用乙语言书写的程 序 . 1-05.对编译程序而言,输入数据是源程序 ,输出结果是目标程序 . 1-06.如果编译程序生成的目标程序是机器代码程序,则源程序的执行分为两大阶段: 编译阶段和运行阶段 .如果编译程序生成的目标程序是汇编语言程序,则源程序的执行分为三个阶段: 编译阶段 , 汇编阶段和运行阶段 . 1-07.若源程序是用高级语言编写的，目标程序是机器语言程序或汇编程序，则其翻译程序称为编译程序。 1-08.一个典型的编译程序中，不仅包括词法分析、语法分析、中间代码生成、代码优化、目标代码生成等五个部分，还应包括表格处理和出错处理。其中，词法分析器用于识别单词。 1-09.编译方式与解释方式的根本区别为是否生成目标代码。 2-01.所谓最右推导是指：任何一步α β都是对α中最右非终结符进行替换的。 2-02.一个上下文无关文法所含四个组成部分是一组终结符号、一组非终结符号、一个开始符号、一组产生式。 2-03.产生式是用于定义语法成分的一种书写规则。 2-04.设G[S]是给定文法，则由文法G所定义的语言L(G)可描述为：L(G)＝{x│S x,x∈V T*} 。 2-05.设G是一个给定的文法，S是文法的开始符号，如果S x （其中x∈V*），则称x是文法的一个句型。 2-06.设G是一个给定的文法，S是文法的开始符号，如果S x(其中x∈V T*),则称x是文法的一个句子。 3-01.扫描器的任务是从源程序中识别出一个个单词符号。 4-01.语法分析最常用的两类方法是自上而下和自下而上分析法。 4-02.语法分析的任务是识别给定的终极符串是否为给定文法的句子。 4-03.递归下降法不允许任一非终极符是直接左递归的。 4-04.自顶向下的语法分析方法的关键是如何选择候选式的问题。 4-05.递归下降分析法是自顶向上分析方法。 4-06.自顶向下的语法分析方法的基本思想是：从文法的开始符号开始，根据给定的输入串并按照文法的产生式一步一步的向下进行直接推导，试图推导出文法的句子，使之与给定的输入串匹配。 5-01.自底向上的语法分析方法的基本思想是：从给定的终极符串开始，根据文法的规则一步一步的向上进行直接归约，试图归约到文法的开始符号。 5-02.自底向上的语法分析方法的基本思想是：从输入串入手，利用文法的产生式一步一步地向上进行直接归约，力求归约到文法的开始符号。
执行程序中的期限 执行法院受理案件 ↓ （7日内）确定承办人→（3日内）通知被执行人 ↓ ↓→→→→→→→（3日内）申请人提供财产线索→（5日内）承办人核实情况 ↓ 评估阶段 ↓ （10日内）承办人完成评估机构的遴选→（3个工作日内）通知当事人按指定的时间、地点选择专业机构或专家→（3个工作日内）机构确定后，监督、协调员通知机构审查材料 ↓ （30个工作日内）专业机构完成工作，(60个工作日内)完成重大、疑难、复杂的案件。 ↓ （5日内）承办人收到评估报告后送达当事人及利害关系人 ↓ 拍卖阶段 ↓ （10日内）承办人完成拍卖机构的遴选
↓ ↓→（拍卖15日前）拍卖不动产或其他财产权公告 ↓→（拍卖7日前）拍卖动产公告 ↓→（拍卖5日前）通知当事人和已知的担保物权人、优先购买权人或者其他优先权人于拍卖日到场。 ↓ 裁定拍卖成交 ↓ 送达裁定书后（15日内）拍卖的财产移交买受人→（5日内）（如有需办理过户登记手续的）向有关登记机关送达协助执行通知书 ↓ 执行程序结束 上述流程，有法律法规明确确定的时间有：法院确定承办人的时间、通知被执行人的时间、评估机构遴选的时间、评估机构完成工作的时间、法院收到评估报告后需完成送达的时间、拍卖机构遴选的时间、拍卖成交后裁定书送达的时间，上述时间相加可明确确定的时间为75日。 其中：依据相关规定：被执行人有财产可供执行的案件，一般应当在立案之日起6个月内执结；但执行中拍卖、变卖被查封、扣押财产的期间以及公告送达执行文书的时间不计入执行时限。 最高人民法院印发《关于人民法院执行公开的若干规定》和《关于人民法院办理执行案件若干期限的规定》的通知 最高人民法院关于人民法院办理执行案件若干期限的规定