法院执行后的程序主要包括以下几个步骤：
查询、冻结、划拨被申请执行人的存款：
法院会查询被申请执行人的银行账户，并可能冻结这些账户，以及直接划拨存款以履行法律文书所确定的义务。
扣留、提取被申请执行人的收入：
法院可以扣留并提取被申请执行人的收入，以确保其履行法律义务。
查封、扣押、拍卖、变卖被申请执行人的财产：
法院可以对被申请执行人的财产进行查封、扣押，并在必要时进行拍卖或变卖，以强制其履行义务。
搜查被申请执行人隐匿的财产：
如果被申请执行人隐匿财产，法院有权进行搜查，以发现并执行其财产。
强制被申请执行人交付法律文书指定交付的财物或者单据：
法院可以强制被申请执行人交付法律文书指定的财物或单据。
强制被申请执行人迁出房屋或者退出土地：
法院可以强制被申请执行人迁出房屋或退出土地，特别是在涉及房产或土地使用权的情况下。
强制执行法律文书指定的行为：
法院可以强制执行法律文书指定的任何行为，例如履行合同义务、停止侵权行为等。
强制加倍支付迟延履行期间的债务利息和支付迟延履行金：
如果被申请执行人迟延履行义务，法院可以强制其支付加倍的债务利息和迟延履行金。
强制办理有关财产权证照转移手续：
法院可以强制被申请执行人办理财产权证照的转移手续，例如过户房产、车辆等。
执行完毕后的程序：
强制执行完毕后，法院会下达强制执行裁定书，裁定书生效后，被执行人应当在规定的期限内履行生效法律文书确定的义务。如果被执行人未履行，申请执行人可以向人民法院申请强制执行。
这些程序旨在确保法律文书得到及时有效的执行，维护法律的权威和公正。如果被执行人拒不履行义务，法院还可以采取包括但不限于限制高消费、纳入失信被执行人名单、拘留、罚款等强制措施。