理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- segment overlay
- segment report
- segmentwise convergence
- segmentwise convergent
- segment without contact
- Segner
- Segner construction
- Segner recurrence formula
- Segovia
- SEGR
- segragated algebra
- Segre
- Segre characteristic
- Segre class
- Segre classification
- Segre embedding
- segregated early weaning
- segregated storage
- segregating stratify
- segregation
- segregation analysis
- segregation at surface
- segregation coefficient
- segregation flow model
- segregation green belt