部分正確性（partial correctness）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。
基本介紹
- 中文名：部分正確性
- 外文名：partial correctness
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
對給定的輸入，程式只要終止就一定滿足規約。
出處
《計算機科學技術名詞 》第三版。
部分正確性
相關詞條
- 部分正確性
部分正確性（partial correctness）是2018年全國科學技術名詞審定委員會公布的計算機科學技術名詞。定義對給定的輸入，程式只要終止就一定滿足規約。1出處《計算機科學技術名詞 》第三版。...
- correctness
correctness，英語單詞，主要用作名詞，作名詞時譯為“正確性”。短語搭配 partial correctness[計] 部分正確性 ; 翻譯 ; 部分正確性 Code correctness 原始碼正確性 ; 代碼校正 Cache Correctness 快取正確性 Multithreaded correctness 多...
- 韋氏成人智力測驗
①有時間限制項目，以反應速度和正確性作為評分依據。 （限時間即為了正確性）②不限時間項目，則按反應質量給予不同分數。③言語測驗中理解/領悟、相似性、辭彙和部分知識測題，要求主試根據評分原則作出主觀判斷而給分。2.原始分換算...
- 旋光性
正如法國物理學家馬呂於1808年所首先發現的那樣，反射光往往是部分平面偏振光（他利用牛頓關於光粒子極點的論點——這一點在解釋波動性方面有極大困難，但光子的概念說明這個論點有一定正確性——創立了偏振這一術語）。因此，配戴偏振片...
- 流動資產(經濟學術語)
1、流動資產占用形態具有變動性；2、流動資產占用數量具有波動性；3、流動資產循環與生產經營周期具有一致性；4、流動資產的來源具有靈活多樣性。部分分類 從不同的角度，可以有不同的分類方式。而且，不同的行業也有不同的流動資產構成。
- 代孕(一種輔助生殖手段)
代孕的有限合法化範圍主要指：禁止有償代孕，開放無償代孕；禁止親屬間的代孕，開放非親屬間的代孕；禁止部分代孕，開放完全代孕。從解決不孕不育問題的角度來看，部分不孕不育或生育能力在一定程度上缺失的家庭確實有代孕的需求，社會各界...
