Writing a correct program is not easy while writing a correct concurrent program is even harder.

编写正确的程序并不容易，而编写正确的并发程序就更难了。

youdao

We introduce a new method called critical memory to protect critical data in program necessary for correct program execution.

我们引进了一种新的方式叫做“关键内存”，用来保护程序中用来进行修正的关键数据。

youdao

In a correct program, therefore, a ready send could be replaced by a standard send with no effect on the behavior of the program other than performance.

在一个正确的程序中，所以，一个就绪发送可以被标准发送所代替，无论是程序的行为还是性能都不会产生影响。

youdao

- So now we have three conditions -- three forks in the road -- and this program is in fact correct, at least hopefully.

现在我们有三个条件--三岔路口-,然后这个程序的确是正确的，至少我希望是。

哈佛公开课 - 计算机科学课程节选

If you've turned in a program that's not syntactically correct, the TAs give you a zero.

不正确的,问题组，助教会给你们一个零分。

麻省理工公开课 - 计算机科学及编程导论课程节选

- Now that's a slight lie-- or actually in these days of political debates, a slight misspeaking, a wonderful word-- -- it is technically correct. It is enough to allow us to write any program, but it's not enough to allow us to easily write any program.

现在还有点说谎的感觉,或者在这些强调政治辩论的日子中，可以说成是有些词不达意-,这是一个绝妙的形容词,在语义上是完全正确的，用这种语言我们可以编写任何程序,但是不能轻松地编写程序。

麻省理工公开课 - 计算机科学及编程导论课程节选

That is something we are trying to correct through this program.

CNN: Tragedy inspires Georgia woman to fight childhood obesity

So, Vice President Cheney was exactly correct about Saddam's procurement program.

CENTERFORSECURITYPOLICY: Center For Security Policy

Yet the chief reason they campaign for a measured U.S. buck-weakening program is to "correct" our growing external deficit and avoid a dollar crash and financial market chaos.

FORBES: No Greenback Crash