理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- constant-current drive
- constant current source
- constant curvature
- constant declaration
- constant delay
- constant deviation prism
- constant elastic modulus alloys
- constant energy MD
- constant-energy surface
- constant energy synchronous fluorimetry
- constant error
- constant factor
- constant false alarm rate
- constant false alarm rate detector
- constant feed grinding
- constant field
- constant flag curvature
- constant flow pump
- constant flow stirred tank reactor
- constant folding
- constant force
- constant function
- constant functor
- Constantin Alexandrovich Fedin,
- Constantin Brancusi