理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- standard analysis
- standard and calibration equipment technology
- Standard And Poor’s Stock Price Index
- standard antenna
- standard architectural design
- standard atmosphere
- standard atmospheric pressure
- standard atomic weights
- standard autogenous grinding design test
- standard baffle
- standard basis
- standard basis of an ideal
- standard biological parts
- standard blackbody radiation source
- standard blocks
- standard body
- standard body weight
- standard buffer solution
- standard bus modular test instruments
- standard calibration well
- standard candle
- standard capacitor
- Standard Capacity of Qin Dynasty
- standard cell
- standard cell design