理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- traditional logic
- traditional media
- traditional method
- traditional miao medicine
- traditional Mongolian medicine
- Traditional Music of China's Minorities
- traditional navigation
- traditional neighborhood development
- Traditional Opera Music Research Series
- traditional opera stage art
- traditional organizational communication design
- traditional photography
- Traditional plays
- traditional plays for beginners
- traditional primary school
- traditional private gardens of Fuzhou
- traditional proton magnetometer
- traditional semiconductor device
- traditional settlement
- traditional skills of carpet weaving in fars
- traditional skills of carpet weaving in Kashan
- traditional society
- traditional sociology of education
- traditional sports for ethnic minorities in China
- traditional sports school