Orbit Determination Program

• 轨道确定程序

Orbit Determination Program的用法和样例：

例句

1. Determining whether a piece of code always produces a certain constant value is the same as determining program equivalence, which is an undecidable problem.
   确定一段代码是否总是产生某个常数值，等同于确定程序等效物，无法保证一定能做到。