Hoare logic
(2)霍尔逻辑(Hoare Logic)。霍尔逻辑的语义对象直接指向程序前后的状态，以此很好地解决了前述的冗余问题。
基于2332个网页-相关网页
·2,447,543篇论文数据，部分数据来源于NoteExpress
在霍尔独特的多孔性中，双重功能元素的逻辑——两种解读和应用之间的永恒变迁——被延伸到了实践领域。
In Holl's particular porosity, the logic of the double-functioning element -the perpetual flux between two readings and applications - is extended into a field condition.
youdao
霍尔逻辑（英语：Hoare Logic），又称弗洛伊德-霍尔逻辑（Floyd–Hoare logic），是英国计算机科学家东尼·霍尔开发的形式系统，这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
详细内容
应用推荐
模块上移
模块下移
不移动