| 1. | You can change the program state using the
命令更改程序状态，然后使用 |
| 2. | Is a methodology that describes computation in terms of program states
是一种用程序状态描述计算的方法。 |
| 3. | You can then use the debugger windows to examine your program state
然后，您就可以使用调试器窗口检查您的程序状态。 |
| 4. | Programmers working in this paradigm use statements to change the program state
使用这种范型的编程人员用语句改变程序状态。 |
| 5. | Temporal logic is a formalism used to describe how a program state will change with time
时态逻辑是用于描述程序状态如何随时间而更改的形式体系。 |
| 6. | Temporal logic is a formalism used to describe how a program state will change over time
时态逻辑（ temporal logic ）是一种用来描述程序状态如何随时间而更改的形式体系。 |
| 7. | Once you have attached to a program , you can use debugger execution commands , inspect the program state , and so on
一旦附加到某个程序，就可以使调试器执行命令、检查程序状态，等等。 |
| 8. | So that volatile flags can be used reliably as indicators that the program state has been changed by another thread
的语义，这样就可以可靠地使用volatile标志表明程序状态被另一个线程改变了。 |
| 9. | Were immutable , then such hostile code would not be able to modify our program state in such a confusing and dangerous way
是不变的，那么这种恶意的代码就不能以如此令人混乱而危险的方法修改我们的程序状态了。 |
| 10. | One way to fill this gap is with " temporal logic , " a formalism used to describe how a program state will change over time
弥补这一缺陷的方法是使用“时态逻辑” ，它是一种用于描述程序状态如何随时间而更改的形式体系。 |
