理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- Child Theatrical Company
- Child Welfare
- child welfare administration
- child welfare facilities
- child welfare institution
- child welfare policy
- child with special need
- child–directed speech
- Chile
- Chilean cinema
- Chilean Drama
- Chilean jack mackerel trawl fisheries
- Chilean music
- Chilean Sea
- Chilefilms
- Chile nitre
- chile nitre
- Chile Rise
- Chile saltpeter
- chile saltpeter
- Chile saltpeter; Chile nitre
- Chile's Teatro Municipal
- Chi Li
- Chi-lien Shanmai/Qilian Shanmai
- Chilka Lake