理学 程序正确性 释 partial correctness 部分正确性 对给定的输入，程序只要终止就一定满足规约。
partial correctness 部分正确性
理论计算机科学 程序理论 释文 partial correctness 部分正确性
- interannular area
- inter arc basin
- inter-archives backup
- interarm object
- interarm star
- interarrival time
- interassimilation
- interastral object
- interatism
- interatomic
- interatomic distance
- interatomic force
- interatomic potential
- interatomic potential model
- interatomic vector
- interatrial septum
- interatrial tract
- inter aural cross correlation coefficient
- inter-aural cross correlation coefficient
- inter-aural cross correlation coefficient, IACC
- interaural level difference
- interaural loudness difference
- interaural time difference
- interaxial
- interaxial angle