Two decades of automatic amortized resource analysis
Two decades of automatic amortized resource analysis
复制标题
二十年的自动摊销资源分析
DOI：
10.1017/s0960129521000487
复制
发表时间：
2022
影响因子：
0.5
通讯作者：
Jost, Steffen
中科院分区：
文献类型：
--
作者：
Hoffmann, Jan;Jost, Steffen
登录
查看更多内容
影响因子：
7.5
作者：
M. Hofmann;Dulma Rodriguez
通讯作者：
M. Hofmann;Dulma Rodriguez
DOI：
10.1137/0606031
发表时间：
1985-04
期刊：
Siam Journal on Algebraic and Discrete Methods
影响因子：
--
作者：
R. Tarjan
通讯作者：
R. Tarjan
DOI：
10.1145/2951913.2951942
发表时间：
2015-12
期刊：
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming
影响因子：
--
作者：
J. Borgström;Ugo Dal Lago;A. Gordon;Marcin Szymczak
通讯作者：
J. Borgström;Ugo Dal Lago;A. Gordon;Marcin Szymczak
数字合约的资源感知会话类型
DOI：
10.1109/csf51468.2021.00004
发表时间：
2021
期刊：
2021 IEEE 34th Computer Security Foundations Symposium (CSF
影响因子：
--
作者：
Das, Ankush;Balzer, Stephanie;Hoffmann, Jan;Pfenning, Frank;Santurkar, Ishani
通讯作者：
Santurkar, Ishani
极化的底层会话类型
DOI：
10.1007/978-3-662-46678-0_1
发表时间：
2016
期刊：
Physical review. E, Statistical, nonlinear, and soft matter physics
影响因子：
--
作者：
F. Pfenning;Dennis Griffith
通讯作者：
Dennis Griffith