理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- reduction factor
- reduction firing
- reduction formula
- reduction half reaction
- reduction half-reaction
- reduction homomorphism
- reduction in process
- reductionism
- reductionism methodology of psychology
- reduction machine
- reduction management of agrometeorological disasters
- reduction manipulation
- reduction matroid
- reduction-matting smelting
- reduction method
- reduction modulo m
- reduction of a complex space
- reduction of a fraction
- reduction of an elliptic curve
- reduction of an equation
- reduction of an expression
- reduction of an operator
- reduction of a problem
- reduction of a quadratic form
- reduction of area