theorems which are statements about the program inferred from the axioms.

定理（theorems） 由公理推论得到的关于程序的陈述。

youdao

They are intended to convey information about the program to other programmers.

一般用来告诉其他程序员有关这段程序的信息。

youdao

Another application for this pattern is gathering statistics about the program.

使用该模式的另一种应用程序就是收集程序的统计信息。

youdao

The BNP leader himself plans to launch a formal complaint about the program.

VOA: standard.2009.10.23

What's your... - Well, Outdoor Action is the University's outdoor education program. So we do a big wilderness orientation program in the fall, for about half the incoming freshmen class.

你的，-户外活动项目是普林斯顿,的户外教育项目，我们在秋季,会举办一个大型野外活动的介绍会，面向大概一半的新生。

普林斯顿公开课 - 人性课程节选

And for the next, off and on for the next couple of weeks, we'll be talking about Python and program organization.

接下来大概有几周时间，我们将要讨论Pyton语言和程序结构。

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

Consumers can go to a Web site, cars.gov, to learn about the program's rules.

CNN: 'Cash for clunkers' program under way

You can learn more about the program which is looking for more corporate partners here.

FORBES: Samuel Adams Brewing The American Dream Offers Microfinance Program

Servicemen I know complain incessantly about the program, and believe that it provides inadequate care.

FORBES: How Health-Care Spending Strains the U.S. Military