You don't have to use continuations to capture execution state.
不一定非使用延续来捕获执行状态。
The first execution of the script creates the queue in the initial run time state.
该脚本的第一次执行将创建处于初始运行时状态的队列。
Proof through the state predicates can reflect the state of program execution.
根据状态谓词进行证明，能够反映出程序执行的状态。
Proof through the state predicates can reflect the state of program execution.
根据状态谓词进行证明，能够反映出程序执行的状态。
应用推荐