例句與用法

1. Clearly , this reduces the processing time for a given program
   很明顯，這樣可以縮短對一個給定程序的處理時間。
2. A memory model describes , given a program and an execution trace of that program , whether the execution trace is a legal execution of the program
   內(nèi)存模型描述給定程序的某個特定的執(zhí)行軌跡是否是該程序的一個合法執(zhí)行。