71 search results - page 11 / 15 » On object initialization in the Java bytecode |
104
click to vote
IWMM
2009
Springer
15 years 6 months ago
2009
Springer
The peak heap consumption of a program is the maximum size of the live data on the heap during the execution of the program, i.e., the minimum amount of heap space needed to run t...
94
Voted
SEFM
2008
IEEE
15 years 6 months ago
2008
IEEE
Attempts to dereference null result in an exception or a segmentation fault. Hence it is important to know those program points where this might occur and prove the others (or the...
103
click to vote
SIGITE
2004
ACM
15 years 5 months ago
2004
ACM
“The Multi-User Programming Pedagogy for Enhancing Traditional Study” (MUPPETS) system has been under development at RIT for the last three years. This multi-user environment ...
105
Voted
ECOOP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
114
Voted
JTRES
2010
ACM
14 years 11 months ago
2010
ACM
The Safety Critical Java Specification intends to support the development of programs that must be certified. The specification includes a number of annotations used to constrain ...