Automatic Space Bound Analysis for Functional Programs with Garbage Collection
Automatic Space Bound Analysis for Functional Programs with Garbage Collection
复制标题
具有垃圾收集的功能程序的自动空间限制分析
DOI：
10.29007/xkwx
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Hoffmann, Jan
中科院分区：
文献类型：
--
作者：
Niu, Yue;Hoffmann, Jan
登录
查看更多内容
java字节码的堆空间分析
DOI：
10.1145/1296907.1296922
发表时间：
2007
期刊：
Journal of Automated Reasoning
影响因子：
--
作者：
E. Albert;S. Genaim;M. Gómez
通讯作者：
M. Gómez
影响因子：
--
作者：
Martin Avanzini;G. Moser
通讯作者：
G. Moser
线性相关类型和相对完整性
DOI：
10.2168/lmcs-8(4:11)2012
发表时间：
2011
期刊：
2011 IEEE 26th Annual Symposium on Logic in Computer Science
影响因子：
--
作者：
Ugo Dal Lago;Marco Gaboardi
通讯作者：
Marco Gaboardi
惰性函数语言中基于类型的共递归分配分析
DOI：
10.1007/978-3-662-46669-8_32
发表时间：
2015
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Pedro B. Vasconcelos;Steffen Jost;Mário Florido;K. Hammond
通讯作者：
K. Hammond
关系成本分析
DOI：
--
发表时间：
2017
期刊：
ACM-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
Ezgi Çiçek;G. Barthe;Marco Gaboardi;Deepak Garg;Jan Hoffmann
通讯作者：
Jan Hoffmann