71 search results - page 7 / 15 » On object initialization in the Java bytecode |
209
click to vote
ECOOP
2009
Springer
16 years 9 days ago
2009
Springer
We present a type system for checking object immutability, read-only references, and class immutability in an open or closed world. To allow object initialization outside object co...
194
click to vote
POPL
2009
ACM
16 years 9 days ago
2009
ACM
This paper presents a type-based solution to the long-standing problem of object initialization. Constructors, the conventional mechanism for object initialization, have semantics...
111
click to vote
OOPSLA
2007
Springer
15 years 5 months ago
2007
Springer
We apply speculative multithreading to sequential Java programs in software to achieve speedup on existing multiprocessors. A common speculation library supports both Java bytecod...
DRM
2003
Springer
15 years 4 months ago
2003
Springer
Protection of digital data from unauthorized access is of paramount importance. In the past several years, much research has concentrated on protecting data from the standpoint of...
ML
2008
ACM
14 years 11 months ago
2008
ACM
We present a way to run Objective Caml programs on a standard, unmodified web browser, with a compatible data representation and execution model, including concurrency. To achieve...