理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- rectangular hyperbolic coordinate
- rectangular hysteresis loop
- rectangular-hysteresis-loop soft magnet
- rectangular inequality
- rectangular injection/production pattern system
- rectangularity
- Rectangular Lacquer Box with BoneInlay from the Tomb of Feng Sufu
- rectangular lattice
- rectangular magnetic material
- rectangular mapping
- rectangular map subdivision
- rectangular matrix
- rectangular mesh
- rectangular method
- rectangular neighborhood
- rectangular net
- rectangular numbers
- rectangular parallel coordinate
- rectangular parallelepiped
- rectangular parallelopiped
- rectangular parallelopipedon
- rectangular partial sum
- rectangular partition
- rectangular potential barrier
- rectangular prism