提出执行异议的程序是怎样的？

执行异议是指在执行过程中，案外人对执行标的提出不同的意见，并主张实体权利。当案外人、当事人对执行标的或执行行为有异议时，就可以通过法定程序提出执行异议来维护自己的合法权益。

首先，我们要明确可以提出执行异议的主体。根据《中华人民共和国民事诉讼法》第二百三十四条规定，执行过程中，案外人对执行标的提出书面异议的，人民法院应当自收到书面异议之日起十五日内审查，理由成立的，裁定中止对该标的的执行；理由不成立的，裁定驳回。案外人、当事人对裁定不服，认为原判决、裁定错误的，依照审判监督程序办理；与原判决、裁定无关的，可以自裁定送达之日起十五日内向人民法院提起诉讼。这就表明，案外人以及当事人都有权提出执行异议。

接着说提出执行异议的形式要求。提出执行异议必须采取书面形式。这是因为书面形式能够清晰、准确地表达异议人的主张和理由，便于法院审查和处理。异议申请书中应详细说明异议的事项、理由以及相关的事实依据。

然后是提出执行异议的时间。执行异议必须在执行过程中提出。这里的执行过程，指的是从执行程序开始到执行程序终结的这一时间段。如果执行程序尚未开始或者已经终结，一般就不能再提出执行异议了。

当异议人提出书面异议后，法院会对该异议进行审查。根据法律规定，人民法院应当自收到书面异议之日起十五日内审查。审查主要围绕异议人的主张是否有事实和法律依据，执行行为是否合法等方面进行。

如果经过审查，法院认为异议人的理由成立，就会裁定中止对该标的的执行；若理由不成立，则会裁定驳回异议。案外人、当事人对裁定不服的，还有后续的救济途径。如果认为原判决、裁定错误的，依照审判监督程序办理；与原判决、裁定无关的，可以自裁定送达之日起十五日内向人民法院提起诉讼。