理学 程序正确性 释 partial correctness 部分正确性 对给定的输入，程序只要终止就一定满足规约。
partial correctness 部分正确性
理论计算机科学 程序理论 释文 partial correctness 部分正确性
- HEAO
- HEAO-1
- HEAO-2
- HEAO-3
- heap
- heap leaching
- heap leaching of ore
- heap leaching of weathered crust elution-deposited rare earth ore
- heap making
- heapoid
- heap overflow vulnerability attack
- heap sort
- heapsort
- Heard and McDonald Islands
- hearing
- hearing aid
- hearing and speech rehabilitation
- hearing associated speech disabilities
- hearing audiometry room
- hearing disability
- hearing disorder
- hearing hangicap inventory for the elderly-screening version
- hearing loss
- hearing loss for speech
- hearing on forensic examination