理学 程序验证 释 Hoare logic 霍尔逻辑 一种结合程序与谓词逻辑的形式推理系统。又称弗洛伊德-霍尔逻辑（Floyd-Hoare logic）。
理论计算机科学 程序理论 释文 Hoare logic 霍尔逻辑
- flatfishes
- flatfish metamorphosis
- flat flame kiln
- flat foot
- flat form
- flat function
- flat function germ
- flat glass
- flat graph
- flathead grey mullet
- flat holomorphic mapping
- flat ideal
- flat interferometer
- flat knitting machine
- flat knitting machine head
- flat knitting shaped shoe materials
- flat knitting sweater
- flat lapping block
- flat lock stitch sewing machine
- flat loom
- flat manifold
- flat mapping
- flat metallic gasket
- flat metric
- flat module