proof of program correctness [计] 程序正确性证明
proof finding program [计] 证明寻找程序 ; 证明找寻程式
program correctness proof [计] 程序正确性证明
correctness proof of program 程序正确性证明
proof of correct program system 程序正确性证明
Object invariant is important in the object-oriented program proof.
对象不变式在面向对象程序的证明中具有重要作用。
Publishing the source code of a program is the equivalent of publishing the proof of a theorem.
公布一个程序的源代码与公布一个定理的证明是一样的。
And, in fact, a computer program has come up with a proof that, as far as was known, nobody in the world had ever come up with before.
而实际上,电脑程序的证明方式,据目前所知,是前人们从未曾提出过的。
Iran says its nuclear program is for peaceful purposes, but Steinitz says Israel has proof that the Islamic Republic is building the atom bomb.
VOA: standard.2009.12.28
And, in fact, a computer program has come up with a proof that, as far as was known, nobody in the world had ever come up with before.
而实际上,电脑程序的证明方式,据目前所知,是前人们从未曾提出过的
"We have no indication, no complete proof, that Iran has an ongoing nuclear weapons program,"
VOA: standard.2009.11.04
应用推荐