霍尔逻辑（Hoare logic）是什么？
霍尔逻辑（Hoare logic）是什么？
展开
收起
版权声明：本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。
1
条回答
写回答
-
霍尔逻辑（Hoare logic）是一种建立在一阶逻辑基础之上的公理语义，它可以使用数理逻辑推理规则即公理（Axiom Schema）来验证程序逻辑的正确性，以及推导等价逻辑结构。这种逻辑分析方法更加贴近我们日常编码的实际需求。
2024-05-29 17:01:27赞同 展开评论
相关问答