理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- Web IE
- web impact factor
- Webinar
- Web information extraction
- Web information extraction, Web IE
- web information labeling system
- web information navigation system
- web information organization system
- web information search system
- Web information systems
- web language
- web-lapping
- webless continuum
- web log process
- web management
- webmap
- web map service
- Web marketing
- web mercator projection
- Web Mining
- Web mining
- web mining
- Web News Editing
- web of curves
- web of spheres