理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- abstract geometry
- abstract graph
- abstract group
- abstract harmonic analysis
- abstract homotopy theory
- abstract ideal theory
- abstract index notation
- abstract integral
- abstract integral equation
- abstract integration theory
- abstract interpolation
- abstract interval function
- abstraction
- abstraction by identification
- abstraction class
- abstraction interpretation
- abstraction mapping
- abstraction of actual infinity
- abstraction of potential realizability
- abstraction of value
- abstraction operator
- abstraction principle
- abstraction reaction
- abstraction sequence
- abstraction theorem