法院执行房产的程序如下：

第一、在判决书生效后，债权人向法院递交强制执行申请书，进行执行立案；

第二、进入执行程序后，法院会将涉案房产在法院网及房产所在地进行拍卖公告；

第三、在规定的时间在网上进行拍卖，拍卖所得扣除相关费用和执行费就转交给债权人了。

执行时应当保留被执行人生活必需品，如被执行人只有一处房产，要看房产的价值的大小，如高档住房，就有可能将房产进行拍卖保留。留下部分拍卖款给被执行人，保证当地平均住房面积与水平，实际上就大房换小房。同时如该房产是抵押给银行的就不受此限制，拍卖款不必保留。

一、抵押权作用

抵押权作为一种担保物权，是实践中最理想，被广泛使用的担保形式，因为它的担保效力最可靠，而且能充分发挥担保财产的作用，既然抵押物不转移其占有，那么它既可以发挥其使用价值，也可以由所有人继续使用并发挥它的使用价值，取得的收益亦可以清偿债务，这样就使债权人的权益得到最充分的保障。基于抵押权这种区别于其它担保物权的优势，使抵押权在市场经济中对促进市场经济正常、良性运转起着促进和保护作用，随着市场经济不断有序的深入和发展，抵押权受到越来越多的人的青睐，成为最常见、最常用的担保形式。

二、抵押权地位

因为抵押权这种不转移抵押物的占有的特性，使得抵押权这一担保形式在经济活动中和法律上都占有重要的地位。

首先，抵押权比质押更简便易行，质押要交付质押物，质权人要对质押物妥善保管，这样无形就增加了债权人的义务范围，而抵押则不存在此种情形。

其次，抵押区别于保证。保证所以成立靠的是保证人的信誉和经济状况，但信誉和经济状况存在可变性，一旦保证人经济状况恶化，这样便不足以保证债权人的权益，债权人的权益有可能无法实现，而抵押则消除了债权人的这种顾虑，因此抵押权更有利于保护债权人的权益。