理学 程序正确性 释 partial correctness 部分正确性 对给定的输入，程序只要终止就一定满足规约。
partial correctness 部分正确性
理论计算机科学 程序理论 释文 partial correctness 部分正确性
- time-space correlation
- time-space ellipsis
- time-space equivalent
- time-space extension
- time-space filtering
- time-space frequency analysis
- time space multi scale
- time-space structure
- time-spatial system
- time splitting
- time-splitting method
- time-splitting scheme
- timestamp
- timestamp examination
- timestamp investigation
- timestamp ordering
- time standard
- time star
- time step
- time-stepping method
- time stepping scheme
- time switch technology
- time synchronism
- time synchronization
- time system