理学 程序正确性 释 partial correctness 部分正确性 对给定的输入，程序只要终止就一定满足规约。
partial correctness 部分正确性
理论计算机科学 程序理论 释文 partial correctness 部分正确性
- demand paging
- demand-pull inflation
- demand-responsive transit
- demand responsive transit system
- demand-responsive transports
- demand-side management
- demand-side management in China
- demand-side platform
- demand structure
- demand theory
- demarcating of geological units
- demarcation
- demarcation level
- demarcation membrane
- Demare Lucas
- De Marinoni
- demasking
- demassify exhibition
- dematerialization
- dematiaceous fungi
- dematron
- de Maupertuis
- Dembet effect
- DEM database
- deme