Experiments in cost analysis of Java bytecode
… believe our experiments show that the efficiency of our cost analysis is acceptable, and that
the obtained cost relations … Afterwards, we study three classes of benchmarks. In Sec. 3, we …
the obtained cost relations … Afterwards, we study three classes of benchmarks. In Sec. 3, we …
Cost analysis of object-oriented bytecode programs
… generates cost relations which approximate the execution cost … for Java bytecode which can
obtain upper bounds on cost for a … Our basic techniques can be directly applied to infer cost …
obtain upper bounds on cost for a … Our basic techniques can be directly applied to infer cost …
COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode
… cost and termination analyzer for Java bytecode. The system receives as input a bytecode
… We report on experimental results which show that costa can deal with programs of realistic …
… We report on experimental results which show that costa can deal with programs of realistic …
Removing useless variables in cost analysis of Java bytecode
… on cost analysis of Java bytecode, a language which is widely used in the context of mobile
code and we study … Experiments in Cost Analysis of Java Bytecode. In ETAPS Workshop on …
code and we study … Experiments in Cost Analysis of Java Bytecode. In ETAPS Workshop on …
[PDF][PDF] The costs and benefits of Java bytecode subroutines
SN Freund - Formal Underpinnings of Java Workshop at OOPSLA, 1998 - Citeseer
… Exponential code size increase was not seen in any of our tests. One reason that this
theoretically possible case does not appear may simply be that nesting try-finally statements …
theoretically possible case does not appear may simply be that nesting try-finally statements …
[PDF][PDF] Applications of Static Slicing in Cost Analysis of Java Bytecode
… Recent works study advanced properties of Java bytecode like cost analysis [2] or termination
[1]. Automatic … We illustrate the cost analysis of [2] on the example depicted in Fig. 1. The …
[1]. Automatic … We illustrate the cost analysis of [2] on the example depicted in Fig. 1. The …
Portable worst-case execution time analysis using Java byte code
… two projects for defining the requirements of real-time extensions of the Java Platform. The
J … belong to scheduling analysis (rather than timing analysis), although the cost of handling …
J … belong to scheduling analysis (rather than timing analysis), although the cost of handling …
Heap space analysis for Java bytecode
… Java bytecode programs. In a first step, we develop a cost model that defines the cost of …
We believe that the experiments we have presented show that our analysis improves the …
We believe that the experiments we have presented show that our analysis improves the …
Experiments with non-termination analysis for Java Bytecode
É Payet, F Spoto - Electronic Notes in Theoretical Computer Science, 2009 - Elsevier
… In this paper, we describe and experiment with a technique for proving non-termination of
imperative, bytecode programs by relating their non-termination to that of a (constraint) logic …
imperative, bytecode programs by relating their non-termination to that of a (constraint) logic …
{BIT}: A Tool for Instrumenting Java Bytecodes
HB Lee, BG Zorn - USENIX Symposium on Internet Technologies and …, 1997 - usenix.org
… Also, software testing and quality assurance tools that detect memory leaks and access …
files using javac compiler and is included to aid the reader in estimating cost of instrumenting …
files using javac compiler and is included to aid the reader in estimating cost of instrumenting …