1·Internal types — Used during program execution.
内部类型——程序执行期间使用的类型。
2·The CLR must be able to control program execution.
CLR必须能够控制程序执行。
3·This helps minimize page and cache misses during program execution.
这在程序执行期间帮助最小化页面和cache丢失。
4·The die statement halts program execution and displays text to the Web browser.
die语句会中止程序执行，并在Web浏览器上显示文本。
5·Proof through the state predicates can reflect the state of program execution.
根据状态谓词进行证明，能够反映出程序执行的状态。
6·After the data declarations, the program execution begins with a call to puts (line 31).
在声明数据之后，这个程序首先执行对puts的调用(第31行)。
7·Hitting this point performs a specified action but does not break program execution.
命中此点则执行指定的操作，但不中断程序的执行。
8·"Persistence," by contrast, refers to keeping data between one program execution and another.
与之相反，“持久化”是指在程序的各次执行之间保存数据。
9·The Integrated I Debugger client user interface also enables you to control program execution.
集成的i调试器客户用户界面还使您能够控制程序的执行。
10·It is possible that during program execution some exception is thrown, and the file is not unlocked.
在执行程序时，可能会出现抛出异常而文件没有解锁的情况。