1.执行申请书怎么写,格式强制执行申请书
申请人:_______
被申请人:_______
申请人与被申请人之间因________一案,业经____人民法院(或仲裁委员会)于_______年_______月_______日作出()字第_______号民事判决书(或裁决、调解),被申请人拒不遵守判决(或裁决调解)履行 。为此,特申请你院给予强制执行 。
事实与理由:_______________________________________________________________
_______________________________________________________________
写明各种生效法律文书中的主文部分涉及到的财产执行内容 。被执行人应当给付事项的种类、范围、数量等;被执行人没有履行的情况,写明被执行人逾期拒不履行法律文书中指定义务的情况 。
此致
______________人民法院
申请人:_______
_______年_______月_______日
附:生效判决书(裁定、调解书)_______份 。
2.一个可执行文件是怎么来的
从OS层说起吧 。
OS都有加载程序的功能,一个可执行文件(比如exe,com等)内部都是机器指令(cpu相关的)和数据,所以可执行文件和OS以及编译器是密切相关的,不同的OS下不同的编译器产生的可执行文件都不尽相同 。不同的平台上其格式大概有elf,pe,coff等 。大致都是段的形式来表示 。而OS的功能就是读懂这些文件然后完成从磁盘文件到内存的映射工作,也就是适当的时候把文件的内容搬到内存适当的位置;
OS加载的过程就是进程创建的过程,进程创建完毕后,会找到入口函数去执行;
进入入口函数后就等于进入了运行库,因为入口函数就是运行库的一部分;
入口函数开始初始化运行程序和程序的运行环境,比如堆的初始化,I/O初始化,线程的准备,全局变量等的初始化;
下一步就进入程序的主体,也就是调用main函数部分 。
main函数执行结束后又回到入口函数,此时入口函数要进行一些清理工作 。
清理完成后执行一个系统调用来kill掉进程 。
OK,一个可执行文件的整个执行周期就结束了 。
对于c语言,运行库叫crt(c runtime),linux下的crt为glibc,它的程序入口函数为_start,是由汇编语言实现的,包含在crt1.o这个目标库文件里 。在windows下crt为msvc crt,它的入口函数是mainCRTStartup 。对于每个程序,链接过程都会给你的可执行程序加进一些运行库目标文件,这样才保证你的程序是一个独立的可执行体 。正式这些额外的代码把你的main函数调用起来的 。
一般在链接程序的时候须指定入口函数名 。
3.申请法院执行申请书如何写执行申请书范文
申请人:张某某,男,汉族,1976年11月15日生,住咸阳市某某区某某镇某某村107号 。
被申请人:陈某某,男,汉族,1979年12月13日生,住咸阳市某某路某某小区1号楼1单元213室 。
请求事项:
1、依法采取强制执行措施,责令被申请人履行(2014)咸民终字第00000号民事判决书的内容;
2、本案执行费用由被申请人承担 。
事实和理由:
此致
咸阳市某某区人民法院
申请人:
二〇一五年九月二八日
申请执行,应向人民法院提交以下文件和证件
1、申请执行书 。申请执行书中应当写明申请执行的理由、事项、执行标的,以及申请执行人所了解的被执行人的财产状况 。
申请执行人写申请执行书确有困难的,可以口头提出申请 。人民法院接待人员对口头申请应当制作笔录,由申请执行人签字或盖章 。
外国一方当事人申请执行的,应当提交中文申请执行书 。当事人所在国与我国缔结或共同参加的司法协助条约有特别规定的,按照条约规定办理 。