理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- semi-Dedekind lattice
- semi-definite
- semi definite complementarity problem
- semi-definite complementarity problem
- semi-definite form
- semi-definite inner product
- semi-definite kernel
- semi-definite matrix
- semi-definiteness
- semi-definite operator
- semi definite programming
- semi-definite programming
- semidefinite programming
- semi-definite programming problem
- semi definite quadratic form
- semi-definite quadratic form
- semidefinite time
- semi-degree
- semi-dental
- semi-derivative
- semi-desert
- semi-destructive techniques of structures
- Semi-detached binary
- semi-detached binary
- semidetached binary