理学 程序正确性 释 partial correctness 部分正确性 对给定的输入，程序只要终止就一定满足规约。
partial correctness 部分正确性
理论计算机科学 程序理论 释文 partial correctness 部分正确性
- slider
- slide-resistant pile
- slide rheostat
- slide rule
- slide show
- slide vane rotary compressor
- slideway
- slide wire potentiometer
- sliding
- sliding average
- sliding bearing
- sliding bearing material
- sliding bearing test rig
- sliding block
- sliding block code
- sliding block compressor
- sliding carpet system
- sliding control
- sliding duty of cotton
- sliding filament hypothesis
- sliding flow
- sliding friction
- sliding growth
- sliding installation of steel structure
- sliding isometric deformation