解刑的程序主要涉及 减刑或假释，具体程序如下：
减刑程序
由执行机关（通常是监狱）向中级以上人民法院提出减刑建议书。
人民法院应当组成合议庭进行审理，对确有悔改或者立功事实的，裁定予以减刑。非经法定程序不得减刑。
假释程序
由执行强制劳动改造的监狱向所在地中级人民法院提出假释建议书，并附上相关材料，如罪犯评审鉴定表、奖惩表、判决书等。
监狱所在地的中级人民法院收到假释建议书后，会审查其材料是否齐全、手续是否齐备、程序是否合法。
人民法院在审查案件材料后组成合议庭进行审理，对符合法定条件的罪犯裁定予以假释。假释由裁定宣告之日起计算，考验期为执行完毕的刑期。
期满释放程序
罪犯服刑期满后，监狱应当按期释放并发给释放证明书。服刑人员持释放证明书到居住地派出所备案，若判刑时迁移、注销户籍的，还需凭释放证明书办理户籍登记。
缓刑解除程序
缓刑考验期满后，原判的刑罚不再执行，并公开予以宣告。宣告由司法所工作人员主持，并发放解除社区矫正证明书，由县级司法行政机关书面通知决定机关。
这些程序确保了刑罚执行过程中的公正、公平和透明，同时也保障了服刑人员的合法权益。如果有任何违法行为或发现漏罪，相关机关会按照法律规定进行处理，包括撤销假释并重新收监执行未完成的刑罚。