理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- Scales and Nails of Paris
- scale shellfish culture mode
- scales in physical geography
- scales photography
- scales spruce
- scale statistic
- scale step
- scales tilt angle
- scale transform
- scale transformation
- scale-type seawall
- scale unit
- scale-up based on geometric similarity
- scale up based on hydrodynamics
- scale up based on oxygen transfer coefficient
- scale up based on Reynolds number
- scale up based on the maximal shear stress similarity
- scale up based on the mixing time
- scale up based on volumetric aeration rate
- scale up based on volumetric power
- scale utilization of resources
- scale value
- Scale with a Set of Bronze Weights Made by Yuzi of the Chu State
- Scaliger crater
- scaling