Because you never change the states of your variables, proving your program is much easier.

由于从来没有改变变量的状态，所以证明您的程序非常简单。

youdao

The model and program were proved right through theory analysis and examples proving.

通过理论研究和实例验证，证明了模型和程序是正确的。

youdao

The article USES the proving of deduction theorem to give general program of construction theorem proving, and adding a piece of simplification command. The program is gotten strict and exercisable.

本文利用演绎定理的证明思路给出了一个由演绎证明构造公理证明的一般程序，并增加了一条简化命令，使该程序既严格又具有实际可操作性。

youdao

The agency also announced plans to test an additional dozen energy- and water-saving technologies this year as part of its Green Proving Ground program.

FORBES: GSA Tests Energy-Slashing Technologies To Deploy In 10,000 Federal Buildings

Stanford's director of executive education program development, Sean Bendarkar, says the school offers a three-week general management program in Singapore which is proving very popular.

CNN: Economic growth underpins demand

But artificial intelligence is proving hard enough to program into ordinary, non-quantum computers.

ECONOMIST: The universe, it appears, may not be alone