一、合同解除的程序
（1）协议解除程序。协议解除的程序是指当事人双方经过协商同意，将合同解除的程序。其特点是：合同的解除取决于当事人双方意思表示一致，而不是基于当事人一方的意思表示，也不需要有解除权，完全是以一个新的合同解除原合同。它适用于协议解除类型，并且在单方解除中，只要解除权人愿意采取这种程序，法律也应允许并加以提倡。
（2）行使解除权的程序。行使解除权的程序必须以当事人享有解除权为前提。所谓解除权，是指合同当事人可以将合同解除的权利。它的行使，发生合同解除的法律效果，因而它是一种形成权。解除权按其性质来讲，不需要对方当事人的同意，只需解除权人单方的意思表示，就可以把合同解除。解除权人主张解除合同，应当通知对方。合同自通知到达对方时解除。对方有异议的，可以请求人民法院或者仲裁机构确认合同的效力。法律、行政法规规定解除合同应当办理批准、登记等手续的，依照其规定（《合同法》第96条第2款）。
（3）法院裁决的程序。这里所说的法院裁决的程序，不是指在协议解除的程序和行使解除权的程序中当事人诉请法院来解除合同，而是指在适用情事变更原则解除合同时，由法院裁决合同解除的程序。由于适用情事变更原则解除合同，当事人无解除行为，只是由法院根据案件的具体情况和情事变更原则的法律要件加以裁决。因此，对这种类型的合同解除只能适用法院裁决的程序。
二、合同解除的溯及力
（1）非继续性合同的解除原则上有溯及力。所谓非继续性合同，是指履行为一次性行为的合同。就非继续性合同的性质而言，当它被解除时能够恢复原状，即已经进行的给付能够返还给付人。恢复原状是解除有溯及力的效果及标志。非继续性合同作为解除的标的，为解除有溯及力提供了一种可能性。这种可能性能否变成现实性，还要受其他因素制约，主要受违约解除的法律性质决定。违约解除是对违约方的制裁，是一种特殊的违约责任，是对守约方的一种救济方法。违约解除有溯及力与这一性质相符合。
（2）继续性合同的解除原则上无溯及力。所谓继续性合同，是指履行必须在一定继续的时间内完成，而不是一时或一次完成的合同，如租赁合同、仓储合同等均属此类。租赁、借用、消费借贷等继续性合同以使用、收益标的物为目的，已经被受领方享用的标的物效益，是不能返还的，也就不能恢复原状。这些合同解除不管有无溯及力，给付人都只能请求对方返还相应的价金，在双方为相应的给付时，有溯及力除了增加不必要的迂回曲折外，对当事人没有任何好处，因此不如规定这些合同的解除无溯及力，除非当事人有相反的约定。
