quick-look program 中文意思是什麼
quick-look program
解釋
快讀程序-
Let s take a quick look at three categories of common assertion properties common, but which don t offer us the full coverage we d like, compare them with the types of program properties that can be expressed in a traditional assertion language, and examine assertion properties that are necessary for a multithreading context but are impossible to express as conventional assertions
讓我們快速瀏覽三種類型常見的斷言特性(雖然是常見的,但它們沒有提供我們所需的完整范圍) ,將它們與可以用傳統斷言語言表示的程序特性的類型進行比較,並檢查多線程上下文所必需的,但不可能表示成常規斷言的斷言特性。
分享友人