您要查找的是不是：
- This is primarily accomplished by serializing access to a shared program state. 这主要通过串行化对共享程序状态的访问来实现。
- You can change the program state using the set command and continue using the go command. 可以使用set命令更改程序状态,然后使用go命令继续。
- Temporal logic is a formalism used to describe how a program state will change with time. 时态逻辑是用于描述程序状态如何随时间而更改的形式体系。
- Were immutable, then such hostile code would not be able to modify our program state in such a confusing and dangerous way. 是不变的,那么这种恶意的代码就不能以如此令人混乱而危险的方法修改我们的程序状态了。
- Only then, when you know that the real work has succeeded, should you modify the program state( and clean up) using only nonthrowing operations. 只有确信实际的工作已经成功时，才应该使用无异常抛出的操作来修改（清除）序的状态。
- Only one thread at a time may acquire ownership of alock, so a lock may be used to serialize access to code or a program state. 因此锁定可以用来串行化地访问代码或者程序状态。
- A logical expression specifying a program state that must exist or a set of conditions that program variables must satisfy at a particular point during program execution;for example, A is positive and A is greater than B. 一种逻辑表达式,它规定必须存在的一个程序状态,或规定在程序执行过程中某一特定点上程序变量必须满足的条件集合;例如,A为正且A大于B。
- You can change the program state using the 命令更改程序状态,然后使用
- The State Department combined serval several programs stating dating to the coldful Cold War into the current program in 1998. 国务院结合了从冷战时期到最近1998年项目的数个项目。
- A program to preserve our state's wetlands. 一项保护我国湿地的方案
- The program stated that a NASA scientist organized STURP in1976( after being surprised to find depth-dimensional information encoded within the shroud image); no mention of the Holy Shroud Guild was made. 这个节目声称一位太空总署的科学家在1976年组织了STURP（后对发现包藏在裹尸布肖像里面的深维度信息而感到惊讶）没有提到已经制成了神圣裹尸布行会。
- In this model, the testability is described as the proportion between the states that influence the outputs to all the program states, because only outputs are visible during black box testing. 为了适用于可测试性分析，我们对传统的切片方法进行了改进，使其能够对程序的状态进行分析，而不仅仅针对语句。
- The main feature on the program is her song. 那个节目的主要号召物是她的歌。
- This news program only covers external events. 这一新闻节目只报道国外消息。
- Do you see the travel program on italy last night? 昨晚你看有关意大利的旅游节目了吗？
- Starting applications from Program Manager is easy. 在程序管理器下运行应用程序很容易。
- Pop music is mostly program music. 流行音乐大多是标题音乐。
- Enclosed is our program invoice in duplicate. 随函附上我方估价单一式两份。
- What's the program for tomorrow? 明天有什么节目？
- What functions can this program perform? 这一程序有哪些功能?
