Object invariant is important in the object-oriented program proof.

对象不变式在面向对象程序的证明中具有重要作用。

youdao

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

Plumlee, who watched the "60 Minutes" program, saw it as proof she'd been right about Zoloft.

WSJ: Pfizer disputes suit claiming Zoloft doesn't work

Risk assessments can serve as a vehicle for early buy-in, a method to secure budget and resources, a gauge for progress, a way to avoid fire-drills and set priorities for your program, a natural reporting-out format, and proof for regulators of the adequacy of your program.

FORBES: Risk Assessments: The Most Important Effort You're Doing All Wrong

New transplant programs, eager to qualify for Medicare reimbursement, work hard to bolster their transplant survival statistics, because Medicare looks for proof of success before counting a program as being eligible for reimbursement.

FORBES: Evaluating the Quality of Charter Schools and Tertiary Care Hospitals