We could also use DOES-HALT to quickly compute whether or not a program passes its test cases.

我们也可以用DOES - HALT快速的计算一个程序是否可以通过所有的测试用例。

youdao

The United Nations Security Council has already passed three sets of sanctions against Iran for refusing to halt its enrichment program.

联合国安理会已经通过了三套针对伊朗的制裁措施，因为伊朗拒绝停止其浓缩铀项目。

youdao

Azafady's specialised conservation volunteering program helps halt the decline of this threatened animal.

这是帮助制止狐猴这类濒危动物减少的一项专门的自愿者项目。

youdao

In April,the P5+1 offered Iran a revised package of incentives for it to halt uranium enrichment and return to negotiations over its nuclear program.

VOA: standard.2009.09.11

But Islamabad and New Delhi are still separated by a yawning gulf of distrust and neither has showed any inclination to slow or halt its nuclear program.

CNN: The India Tilt

The tour was planned in late 2011, but in September, Afghanistan's Ministry of Labor and Social Affairs ordered the shelter to halt its music program and replace it with religious classes.

WSJ: Young Afghans Face Backlash Over Music

Since 2006, there have been four rounds of sanctions aimed at forcing Iran to halt a nuclear program that the U.S., the European Union, and Israel believe is aimed at acquiring nuclear weapons.

CENTERFORSECURITYPOLICY: The growing concern of Brazil & Iran