理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- emission factor
- emission factors
- emission flux
- emission frequency
- emission inventories
- Emission inventory of pollutants
- emission line
- emission-line galaxy
- emission-line nebula
- emission-line object
- emission-line star
- emission measure
- emission mechanism
- emission microscope
- emission nebula
- emission nebulosity
- emission of black hole
- emission operator
- emission performance standard for stationary source
- emission point
- emission probability
- emission process
- emission sources
- emission spectrographic analysis
- emission-spectroscopical