理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- Huozhou Shi
- Hupaodinghui Temple
- Hupao Quan
- hupeh fritillary bulb
- hupeh rosewood
- hupehsuchians
- Hu Peiheng
- Hu Peilie
- Hu Peng
- huperzine A
- Hupingshan Zhen
- Hu Qianshan
- Hu Qiaomu
- Hu Qiheng
- Hu Qingshu
- Huqingyutang Chinese Medicine Museum of Hangzhou
- Huqingyutang Chinese Pharmacy
- Huqiu Hill
- Huqiu Qu
- Huqiu Yong
- Hu Qiuyuan
- Hu Quan
- Hurcules and Antaeus
- hurdle effect
- hurdle race