理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- interference testing
- interference-type silencer
- interference well group
- interferent
- interferential
- interfering substance
- interferogram
- interferometer
- interferometer pattern
- interferometer phase
- interferometer polar diagram
- interferometer radar
- interferometric
- interferometric astrometry
- interferometric baseline
- interferometric binary
- interferometric fiber optic gyroscope
- interferometric measurement mode of SAR
- interferometric microscopy
- interferometric nulling
- interferometric sonar
- interferometric spectroscopy
- interferometric synthetic aperture radar
- interferometric thermometry
- interferometry