Sciweavers

CC
2000
Springer
134views System Software» more  CC 2000»
13 years 4 months ago
Pipelined Java Virtual Machine Interpreters
The performance of a Java Virtual Machine (JVM) interpreter running on a very long instruction word (VLIW) processor can be improved by means of pipelining. While one bytecode is i...
Jan Hoogerbrugge, Lex Augusteijn
CC
2000
Springer
132views System Software» more  CC 2000»
13 years 9 months ago
Automatic Removal of Array Memory Leaks in Java
Ran Shaham, Elliot K. Kolodner, Shmuel Sagiv
CC
2000
Springer
100views System Software» more  CC 2000»
13 years 9 months ago
A Static Study of Java Exceptions Using JESP
JESP is a tool for statically examining the usage of user thrown exceptions in Java source code. Reported here are the first findings over a dataset of 31 publicly available Java...
Barbara G. Ryder, Donald Smith, Ulrich Kremer, Mic...
CC
2000
Springer
105views System Software» more  CC 2000»
13 years 9 months ago
MATOU: An Implementation of Mode-Automata
Mode-Automata have been proposed in [11]. They introduce, in the domain-specific data-flow language Lustre for reactive systems, a new construct devoted to the expression of runn...
Florence Maraninchi, Yann Rémond, Yannick R...
CC
2000
Springer
135views System Software» more  CC 2000»
13 years 9 months ago
Fast Escape Analysis and Stack Allocation for Object-Based Programs
A fast and scalable interprocedural escape analysis algorithm is presented. The analysis computes a description of a subset of created objects whose lifetime is bounded by the life...
David Gay, Bjarne Steensgaard