甲公司依据生效判决书向人民法院申请执行乙公司应支付的货款100万元。在执行程序中，甲公司发现乙公司虽然无财产可供执行，但是对丙公司享有90万元的到期债权。下列做法正确的有？

A、如果丙公司对法院的履行通知提出异议通常采取书面形式
B、法院执行该到期债权既可以依据甲公司的申请，也可以依据乙公司的申请
C、如果丙公司认为乙公司对自己的债权是70万元而不是90万元，则法院可以对该70万元强制执行
D、如果执行过程中，发现丙公司无财产可供执行但对丁公司享有80万元的到期债权，法院可以向丁公司发出履行通知