理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- Alataw Shankou Shi
- Alatengaole
- Alathfar
- Alaungpaya Dynasty
- alautun
- Alawites
- Alawoma’s Embassy to Istanbul
- Alawoma’s Embassy to Morroco
- al-Azhar University
- Alba alloy
- Albacete
- Albacore
- Alba Iulia
- A. L. Baker
- A. L. Baker (1853—1934)
- Albaldah
- Albali
- Albanese
- Albanese mapping
- Albanese variety
- Albania
- Albanian cinema
- Albanian General Insurrection of 1912
- Albanian language
- Albanian National Gallery of Arts