Results 221 to 230 of about 18,338 (256)
Some of the next articles are maybe not open access.
Journal of Automated Reasoning, 2003
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gerwin Klein, Martin Wildmoser
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Gerwin Klein, Martin Wildmoser
openaire +2 more sources
Proceedings of the 11th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, 2016
Many dynamic program analysis (DPA) tools for profiling, debugging, and monitoring programs executing on managed platforms such as the Java Virtual Machine (JVM) rely on bytecode instrumentation (sometimes combined with agents utilizing the JVM Tool Interface and native code libraries) to observe the base program behavior.
Lubomír Bulej +2 more
openaire +1 more source
Many dynamic program analysis (DPA) tools for profiling, debugging, and monitoring programs executing on managed platforms such as the Java Virtual Machine (JVM) rely on bytecode instrumentation (sometimes combined with agents utilizing the JVM Tool Interface and native code libraries) to observe the base program behavior.
Lubomír Bulej +2 more
openaire +1 more source
A Bytecode Otimizer to Engineer Bytecodes for Performance
2001We are interested in the issues on the bytecode transformation for performance improvements on programs.I n this work, we focus on the aspect of our bytecode to bytecode optimizing system on the ability to optimize the performances of hardware stack machines.Tw o categories of the problem are considered.F irst, we consider the stack allocations for ...
Jian-Zhi Wu, Jenq Kuen Lee
openaire +1 more source
Dynamic optimization of bytecode instrumentation [PDF]
Proceedings of the 7th ACM workshop on Virtual machines and intermediate languages, 2013 Accuracy, completeness, and performance are all major concerns in the context of dynamic program analysis. Emphasizing one of these factors may compromise the other factors. For example, improving completeness of an analysis may seriously impair performance.
Yudi Zheng +5 more
openaire +1 more source
Bytecode Verification by Model Checking
Journal of Automated Reasoning, 2003zbMATH Open Web Interface contents unavailable due to conflicting licenses.
David A. Basin +2 more
openaire +1 more source
On bytecode slicing and aspectJ interferences
Proceedings of the 6th workshop on Foundations of aspect-oriented languages, 2007AspectJ aims at managing tangled concerns in Java systems. Crosscutting aspect definitions are woven into the Java bytecode at compile-time. Whether the better modularization introduced by aspects is real or just apparent remains unclear. While aspect separation may be useful to focus the programmer's attention on a specific concern, the oblivious ...
A. Castaldo D'Ursi +2 more
openaire +2 more sources
Proceedings IEEE COMPCON 97. Digest of Papers, 2002
We present our results obtained from applying well known optimizations to Java bytecodes. We survey the optimizations implemented thus far, which include peephole optimizations, jump redundancy eliminations, and common subexpression elimination. The transformations are each analyzed according to several criteria.
openaire +1 more source
We present our results obtained from applying well known optimizations to Java bytecodes. We survey the optimizations implemented thus far, which include peephole optimizations, jump redundancy eliminations, and common subexpression elimination. The transformations are each analyzed according to several criteria.
openaire +1 more source
Bytecode Testability Transformation
2011Bytecode as produced by modern programming languages is well suited for search-based testing: Different languages compile to the same bytecode, bytecode is available also for third party libraries, all predicates are atomic and side-effect free, and instrumentation can be performed without recompilation.
Yanchuan Li, Gordon Fraser 0001
openaire +1 more source
2018
This paper presents the first Coq formalisation of the full Java bytecode instruction set and its semantics. The set of instructions is organised in a hierarchy depending on how the instructions deal with the runtime structures of the Java Virtual Machine such as threads, stacks, heap etc.
Patryk Czarnik +2 more
openaire +1 more source
This paper presents the first Coq formalisation of the full Java bytecode instruction set and its semantics. The set of instructions is organised in a hierarchy depending on how the instructions deal with the runtime structures of the Java Virtual Machine such as threads, stacks, heap etc.
Patryk Czarnik +2 more
openaire +1 more source
Formal Certification of Non-interferent Android Bytecode (DEX Bytecode)
2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS), 2015The Android operating system is now used in the majority of mobile devices. Each application in Android runs in an instance of the Dalvik virtual machine, which is a register-based virtual machine (VM). Most applications for Android are developed using Java, compiled to Java bytecode and then translated to DEX bytecode using the dx tool in the Android ...
openaire +1 more source