霍尔逻辑的五十年
计算机科学中的逻辑
2019-10-25 v2
摘要
我们呈现霍尔逻辑（Hoare's logic）的一段历史。
引用
@article{arxiv.1904.03917,
title = {Fifty years of Hoare's Logic},
author = {Krzysztof R. Apt and Ernst-Ruediger Olderog},
journal= {arXiv preprint arXiv:1904.03917},
year = {2019}
}
备注
79 pages. To appear in Formal Aspects of Computing