It's not that program proofs cannot be done with imperative programs, but that the number of state changes that occur make them unwieldy.

并不是不能为命令式程序进行那种程序证明，而是状态改变发生的次数之多使得那些证明不具意义。

youdao

So, for the price of at most a few instructions, your program can have the provability of a functional program and the speed and memory characteristics of an imperative one.

从而，在只是付出了一些指令的代价后，您的程序会拥有函数式程序的可证明性和命令式程序的速度和内存特性。

youdao

It was recognized at this conference that standardization of equipment for the blood program was desirable in peacetime and imperative in a national emergency.

在这次会议中可以看出，和平时期血液项目组的仪器标准化是令人满意的，在国家发生紧急情况时也是必要的。

youdao

It is imperative that the constructive program management arrangement between U.S. SDI Office and Israel be preserved.

CENTERFORSECURITYPOLICY: Center for Security Policy | ��The Case For Ending US And Israeli Strategic Vulnerability��

In this light, I think there is one major program that is imperative to ensure the steady growth of our economy and the integrity of our national defense.

FORBES: A National Imperative -- Building an Interstate Network of Toilets

It was refreshing during the program to find providers who fully understood this and how it was imperative to move to a cloud-based model.

FORBES: NY Digital Health Accelerator Is a Model to Emulate: Startup's Perspective