Sciweavers

1011 search results - page 131 / 203
» Exception Analysis for Java
Sort
View
IWMM
2007
Springer
85views Hardware» more  IWMM 2007»
14 years 4 months ago
Uniqueness inference for compile-time object deallocation
This paper presents an analysis and transformation for individual object reclamation in Java programs. First, we propose a uniqueness inference algorithm that identifies variable...
Sigmund Cherem, Radu Rugina
SSDBM
2006
IEEE
167views Database» more  SSDBM 2006»
14 years 4 months ago
Exploring Data Streams with Nonparametric Estimators
A variety of real-world applications requires a meaningful online analysis of transient data streams. An important building block of many analysis tasks is the characterization of...
Christoph Heinz, Bernhard Seeger
JIPS
2007
100views more  JIPS 2007»
13 years 10 months ago
Static Type Assignment for SSA Form in CTOC
: Although the Java bytecode has numerous advantages, it also has certain shortcomings such as its slow execution speed and difficulty of analysis. In order to overcome such disadv...
Ki-Tae Kim, Weon-Hee Yoo
ISSTA
2009
ACM
14 years 4 months ago
Identifying semantic differences in AspectJ programs
Program differencing is a common means of software debugging. Although many differencing algorithms have been proposed for procedural and object-oriented languages like C and Ja...
Martin Th Görg, Jianjun Zhao
CGO
2008
IEEE
14 years 4 months ago
Fast liveness checking for ssa-form programs
Liveness analysis is an important analysis in optimizing compilers. Liveness information is used in several optimizations and is mandatory during the code-generation phase. Two dr...
Benoit Boissinot, Sebastian Hack, Daniel Grund, Be...