The CLR must be able to control program execution.
CLR必须能够控制程序执行。
At least one program must be specified in the program execution list.
必须在程序执行列表中指定至少一个程序。
Proof through the state predicates can reflect the state of program execution.
根据状态谓词进行证明，能够反映出程序执行的状态。
Program execution control device, program execution control method, control program and recording medium.
程序执行控制设备，程序执行控制方法，控制程序和记录介质。
Program execution control device, program execution control method, control program and recording medium.
程序执行控制设备，程序执行控制方法，控制程序和记录介质。
应用推荐