理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- resettlement materials for victims
- resettlement model
- resettlement monitoring and assessment of hydraulic engineering
- Resettlement of Demobilized Soldiers Ordinance
- resettlement of disaster victims
- resettlement of immigrants
- resettlement of water resources project
- resettlement planning and design
- resettlement planning for victims
- resettlement policy
- reshaped antibody
- reshaper
- reshaping
- Reshui Gumuzang
- Reshui Zhen
- residence
- residence balance
- residence for two generations
- residence half-life
- residence houses for low-and-medium earners
- Residence of the Ten Princes
- Residence of Xu Emperor's-Son-in-Law
- residence time
- resident birds
- resident consumption expenditure