Sciweavers

8 search results - page 1 / 2
» Static Members and Cycles in Java Software
Sort
View
ESEM
2007
ACM
13 years 8 months ago
Static Members and Cycles in Java Software
The static modifier is a convenient way to make class members "global" in object-oriented software systems. Given this, we wondered if static members significantly contr...
Hayden Melton, Ewan D. Tempero
MPC
2004
Springer
147views Mathematics» more  MPC 2004»
13 years 10 months ago
Extended Static Checking for Java
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
Greg Nelson
PROCOMET
1998
13 years 6 months ago
Extended static checking
Software development and maintenance are costly endeavors. The cost can be reduced if more software defects are detected earlier in the development cycle. This paper introduces th...
K. Rustan M. Leino
CC
2001
Springer
121views System Software» more  CC 2001»
13 years 9 months ago
Constant-Time Root Scanning for Deterministic Garbage Collection
Root scanning is the task of identifying references to heap objects that are stored outside of the heap itself, in global and local variables and on the execution stack. Root scann...
Fridtjof Siebert
HOTOS
1997
IEEE
13 years 9 months ago
Run-Time Code Generation as a Central System Service
We are building an operating system in which an integral run-time code generator constantly strives to improve the quality of already executing code. Our system is based on a plat...
Michael Franz