7 search results - page 1 / 2 » A Simple, Comprehensive Type System for Java Bytecode Subrou... |
POPL
1999
ACM
13 years 9 months ago
1999
ACM
POPL
1998
ACM
13 years 9 months ago
1998
ACM
Java is typically compiled into an intermediate language, JVML, that is interpreted by the Java Virtual Machine. Because mobile JVML code is not always trusted, a bytecode verifi...
CASES
2007
ACM
13 years 8 months ago
2007
ACM
Embedded platforms are resource-constrained systems in which performance and memory requirements of executed code are of critical importance. However, standard techniques such as ...
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
A compiler-checked immutability guarantee provides useful documentation, facilitates reasoning, and enables optimizations. This paper presents Immutability Generic Java (IGJ), a n...
ISORC
2008
IEEE
13 years 11 months ago
2008
IEEE
Java, as a safe and platform independent language, avoids access to low-level I/O devices or direct memory access. In standard Java, low-level I/O it not a concern; it is handled ...