网站介绍:霍尔逻辑(英语:Hoare Logic),又称弗洛伊德-霍尔逻辑(Floyd–Hoare logic),是英国计算机科学家东尼·霍尔开发的形式系统,这个系统的用途是为了使用严格的数理逻辑推理来替计算机程序的正确性提供一组逻辑规则。
- 链接地址:http://baike.baidu.com/item/%E7%A8%8B%E5%BA%8F%E9%80%BB%E8%BE%91/12608132
- 链接标题:霍尔逻辑_百度百科
- 所属网站:baike.baidu.com
- 被收藏次数:5937
- 网站标签:霍尔逻辑 霍尔逻辑起源 霍尔逻辑霍尔三元组 霍尔逻辑命令式编程