Thirty-seven years of relational Hoare logic: remarks on its principles and history
Thirty-seven years of relational Hoare logic: remarks on its principles and history
复制标题
关系霍尔逻辑三十七年：对其原理和历史的评论
DOI：
--
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Naumann, David A
中科院分区：
文献类型：
--
作者：
Naumann, David A
登录
查看更多内容
DOI：
10.1016/0020-0190(87)90106-2
发表时间：
1987-01
期刊：
Inf. Process. Lett.
影响因子：
--
作者：
C. Hoare;J. He
通讯作者：
C. Hoare;J. He
分布式终止算法的正确性证明
DOI：
--
发表时间：
1986
期刊：
TOPL
影响因子：
--
作者：
K. Apt
通讯作者：
K. Apt
编程的技巧
DOI：
--
发表时间：
1981
期刊：
Prentice Hall International series in computer science
影响因子：
--
作者：
J. C. Reynolds
通讯作者：
J. C. Reynolds
可信的编译
DOI：
--
发表时间：
1999
期刊：
影响因子：
--
作者：
M. Rinard
通讯作者：
M. Rinard
霍尔逻辑和辅助变量
影响因子：
1
作者：
["Thomas Kleymann
通讯作者：
["Thomas Kleymann