理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- Critical Studies in Media Communication
- critical subgraph
- critical submanifold
- critical success factor
- critical success factor, CSF
- Critical Success Factors
- critical surface
- critical surface density
- critical systems thinking
- critical temperature
- critical temperature in agriculture
- critical temperature of structural member
- critical term
- Critical Theory
- critical theory
- critical thinking
- critical time of census
- critical value
- critical value of nutrient
- critical velocity
- critical vertex
- critical volume
- critical volume fraction
- critical wavelength
- critical zone