理学 程序正确性 释 partial correctness 部分正确性 对给定的输入，程序只要终止就一定满足规约。
partial correctness 部分正确性
理论计算机科学 程序理论 释文 partial correctness 部分正确性
- qualifications for the background of candidates
- qualification system for publishing units
- qualification test
- qualification testing
- qualification testing for drivers of motor vehicles
- qualification库恩-塔克约束规格
- qualificatory
- qualified coordination
- Qualified Domestic Institutional Investor
- Qualified Foreign Institutional Investors
- qualified inventor
- qualified manufacturers list
- qualified opinion
- qualified products list
- qualified project quality
- qualified suppliers list
- qualitative
- Qualitative analysis
- qualitative analysis
- qualitative analysis of error
- qualitative and quantitative methods
- qualitative attribute
- qualitative behavior
- qualitative change
- qualitative data