You don't need to solve the halting problem in this situation, because you only need to accept a subset of valid, correct programs.