Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic
Static Resource Analysis for Java Bytecode Using Amortisation and Separation Logic
复制标题
使用摊销和分离逻辑的 Java 字节码静态资源分析
DOI：
10.1016/j.entcs.2011.11.003
复制
发表时间：
2011
影响因子：
--
通讯作者：
Fenacci D
中科院分区：
文献类型：
--
作者：
Fenacci D
在本文中，我们描述了一个静态分析器的Java字节码，它使用了摊销分析和分离逻辑的组合，由于罗伯特Atkey。在Java注释的帮助下，我们能够为操作各种基于堆的数据结构的Java方法提供精确的资源利用率约束。
In this paper we describe a static analyser for Java bytecode which uses a combination of amortised analysis and Separation Logic due to Robert Atkey. With the help of Java annotations we are able to give precise resource utilisation constraints for Java methods which manipulate various heap-based data structures.
登录
查看更多内容
DOI：
10.1137/0606031
发表时间：
1985-04
期刊：
Siam Journal on Algebraic and Discrete Methods
影响因子：
--
作者：
R. Tarjan
通讯作者：
R. Tarjan
综合动态内存消耗参数化规范的静态分析
DOI：
10.5381/jot.2006.5.5.a2
发表时间：
2006
期刊：
J. Object Technol.
影响因子：
--
作者：
V. Braberman;D. Garbervetsky;S. Yovine
通讯作者：
S. Yovine
DOI：
--
发表时间：
1999
期刊：
影响因子：
--
作者：
A. Barvinok;James Pommersheim
通讯作者：
James Pommersheim
使用自动大小和时间推断进行成本分析
DOI：
10.1007/3-540-44854-3_15
发表时间：
2002
期刊：
Tradition
影响因子：
--
作者：
Álvaro J. Rebón Portillo;K. Hammond;Hans;Pedro B. Vasconcelos
通讯作者：
Pedro B. Vasconcelos
Grail：命令式移动代码的函数形式
DOI：
10.1016/s1571-0661(05)80083-0
发表时间：
2003
期刊：
Sci. Comput. Program.
影响因子：
--
作者：
Lennart Beringer;K. Mackenzie;I. Stark
通讯作者：
I. Stark