理学 程序正确性 释 partial correctness 部分正确性 对给定的输入，程序只要终止就一定满足规约。
partial correctness 部分正确性
理论计算机科学 程序理论 释文 partial correctness 部分正确性
- line partitioning
- line pedal curve
- line picking
- line pipe
- line plane
- line plane control network
- line-plane intersection
- line point picking
- line printer
- line production
- line profile
- line-profile variable
- line protection
- Liner
- liner
- line radiation
- line radio
- line ratio
- line ratio method
- liner board
- liner cementing
- liner completion
- Liner Conference
- liner drilling system
- line receiver