Amortised Resource Analysis with Separation Logic
Amortised Resource Analysis with Separation Logic
复制标题
具有分离逻辑的摊销资源分析
DOI：
10.2168/lmcs-7(2:17)2011
复制
发表时间：
2011
影响因子：
0.6
通讯作者：
Atkey R
中科院分区：
文献类型：
--
作者：
Atkey R
登录
查看更多内容
影响因子：
7.5
作者：
M. Hofmann;Dulma Rodriguez
通讯作者：
M. Hofmann;Dulma Rodriguez
DOI：
--
发表时间：
2008
期刊：
Formal Methods for Components and Objects
影响因子：
--
作者：
David Aspinall;Patrick Maier;I. Stark
通讯作者：
I. Stark
DOI：
10.1016/s0304-3975(99)00173-5
发表时间：
1996-03
期刊：
--
影响因子：
--
作者：
I. Cervesato;J. S. Hodas;F. Pfenning
通讯作者：
I. Cervesato;J. S. Hodas;F. Pfenning
DOI：
10.1137/0606031
发表时间：
1985-04
期刊：
Siam Journal on Algebraic and Discrete Methods
影响因子：
--
作者：
R. Tarjan
通讯作者：
R. Tarjan
FIFO 队列的高效功能实现
DOI：
10.1016/0020-0190(82)90015-1
发表时间：
1982
期刊：
Inf. Process. Lett.
影响因子：
--
作者：
F. Burton
通讯作者：
F. Burton