Graded Hoare Logic and its Categorical Semantics
Graded Hoare Logic and its Categorical Semantics
复制标题
分级霍尔逻辑及其分类语义
DOI：
10.26226/morressier.604907f41a80aac83ca25d1e
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Katsumata S
中科院分区：
文献类型：
--
作者：
Katsumata S
登录
查看更多内容
通过分级结合效应和协同效应
DOI：
10.1145/2951913.2951939
发表时间：
2016
期刊：
--
影响因子：
--
作者：
Gaboardi M
通讯作者：
Gaboardi M
DOI：
--
发表时间：
2017
期刊：
影响因子：
--
作者：
Ugo Dal Lago;Claudia Faggian;Benoit Valiron;Akira Yoshimizu;Takumi Akazaki;Shunsuke Shimizu;Shin-ya Katsumata
通讯作者：
Shin-ya Katsumata
可以改变世界的成功清单
DOI：
10.1007/978-3-319-30936-1_2
发表时间：
2016
期刊：
--
影响因子：
--
作者：
Atkey R
通讯作者：
Atkey R
协同效应
DOI：
--
发表时间：
2014
期刊：
ACM SIGPLAN International Conference on Functional Programming
影响因子：
--
作者：
T. Petříček;Dominic A. Orchard;A. Mycroft
通讯作者：
A. Mycroft
重温效应系统 - 控制流代数和语义
DOI：
--
发表时间：
2015
期刊：
Semantics, Logics, and Calculi
影响因子：
--
作者：
A. Mycroft;Dominic A. Orchard;T. Petříček
通讯作者：
T. Petříček