理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- urethral groove
- urethral injuries
- urethral lacunae
- urethral obstruction
- urethral plate
- urethral ridge
- urethral syndrome
- urethritis
- urethrostomy
- UREX+流程
- Urey
- Urey-Bradley field
- Urey-Bradley-Shmanouti potential function
- URF
- Urfa
- URG
- Urga
- urgenome
- urgent
- urgent danger prevention in imagination
- urgent situation
- urgent-start peritoneal dialysis
- urgent, URG
- urgent urination
- Urhe Qu