理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- heated laser scalpel
- =heated lithium ion system 受热锂离子系统
- heated printhead of fused deposition modeling
- heat effect
- heat effect of reaction
- heat efficiency
- heat emission
- heat emission integrated light-emitting diode package
- heat engine
- heat engine cycle
- heat equation
- heat equation method
- heater
- heater production process
- heat evaporation
- heat exchange
- heat-exchange equipment
- heat exchanger
- heat exchanger network
- heat exchanger network synthesis
- heat exchanger of heat-supply network
- heat exchanger process control system
- heat exchanger system
- heat exchanger with jeat pipes
- heat exchange station