理学 程序正确性 释 partial correctness 部分正确性 对给定的输入，程序只要终止就一定满足规约。
partial correctness 部分正确性
理论计算机科学 程序理论 释文 partial correctness 部分正确性
- ultrasound, ultrasonic sound
- ultrasound wave
- ultraspeed
- ultraspherical
- ultraspherical differential equation
- ultraspherical function
- ultraspherical polynomial
- ultrastability
- ultrastable
- ultrastable glass
- ultrastable systems
- ultrastrength material
- ultrastrong
- ultrastrong dual
- ultrastrong operator topology
- ultrastrong topology
- ultrastructural pathology
- ultrastructure
- ultra-supercritical power generation technology
- ultra telephoto lens, super telephoto lens
- ultra-telescopic meteor
- ultratelescopic meteor
- ultrathin film
- ultra-thin overlay
- ultrathin section