理学 程序正确性 释 partial correctness 部分正确性 对给定的输入，程序只要终止就一定满足规约。
partial correctness 部分正确性
理论计算机科学 程序理论 释文 partial correctness 部分正确性
- surface of singularities
- surface of slope
- surface of spatial type
- surface of striction
- surface of the second class
- surface of third order
- surface of translation
- surface of zero velocity
- surface optics
- surface order
- surface parameterization
- surface passivation technology
- surface patch
- surface penetrating effect
- surface performance testing
- surface phase
- surface phenomena of liquids
- surface phonon
- surface photometer
- surface photometry
- surface photovoltage
- surface photovoltage spectrum
- surface physics
- surface physisorption
- surface plasma