Fifty years of Hoare’s logic
Fifty years of Hoare’s logic
复制标题
霍尔逻辑五十年
DOI：
--
复制
发表时间：
2019
影响因子：
1
通讯作者：
E. Olderog
中科院分区：
文献类型：
--
作者：
K. Apt;E. Olderog
我们介绍了霍尔逻辑的历史。
We present a history of Hoare’s logic.
登录
查看更多内容
DOI：
10.1145/964001.964024
发表时间：
2004-01
期刊：
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
影响因子：
--
作者：
P. O'Hearn;Hongseok Yang;J. C. Reynolds
通讯作者：
P. O'Hearn;Hongseok Yang;J. C. Reynolds
DOI：
10.1007/978-3-319-30734-3_13
发表时间：
2015-09
期刊：
--
影响因子：
--
作者：
Björn Engelmann;E. Olderog
通讯作者：
Björn Engelmann;E. Olderog
时间界限的霍尔逻辑 - 元理论研究
DOI：
10.1007/978-3-319-89960-2_9
发表时间：
2018
期刊：
影响因子：
--
作者：
Maximilian Paul Louis Haslbeck;Tobias Nipkow
通讯作者：
Tobias Nipkow
DOI：
10.1007/978-3-642-28756-5_47
发表时间：
2012
期刊：
--
影响因子：
--
作者：
Basler G
通讯作者：
Basler G