死刑执行程序的法律规定？有什么样的程序？

发现有下列情形之一的，应当停止执行，并且立即报告最高人民法院，由最高人民法院作出裁定：
（一）在执行前发现判决可能有错误的；
（二）在执行前罪犯揭发重大犯罪事实或者有其他重大立功表现，可能需要改判的；
（三）罪犯正在怀孕。

死刑采用枪决或者注射等方法执行。
　　死刑可以在刑场或者指定的羁押场所内执行。
　　指挥执行的审判人员，对罪犯应当验明正身，讯问有无遗言、信札，然后交付执行人员执行死刑。在执行前，如果发现可能有错误，应当暂停执行，报请最高人民法院裁定。
　　执行死刑应当公布，不应示众。
　　执行死刑后，在场书记员应当写成笔录。交付执行的人民法院应当将执行死刑情况报告最高人民法院。
　　执行死刑后，交付执行的人民法院应当通知罪犯家属。