656 search results - page 8 / 132 » Parameterized Types for Java |
CC
2008
Springer
13 years 9 months ago
2008
Springer
Java's annotation mechanism allows us to extend its type system with non-null types. However, checking such types cannot be done using the existing bytecode verification algor...
FIDJI
2004
Springer
14 years 1 months ago
2004
Springer
We present a calculus for establishing non-interference of several Java threads running in parallel. The proof system is built atop an implemented sequential Java Dynamic Logic cal...
DAGSTUHL
1998
13 years 9 months ago
1998
We have identified in previous work two translations for parametrically typed extensions of Java. The homogeneous translation maps type variables to a uniform representation, while...
CC
2003
Springer
14 years 26 days ago
2003
Springer
Popular mobile code architectures (Java and .NET) include verifiers to check for memory safety and other security properties. Since their formats are relatively high level, suppor...
NGC
2008
Springer
13 years 7 months ago
2008
Springer
A bytecode verifier for the Java virtual machine language (JVML) statically checks that bytecode does not cause any fatal error. However, the present verifier does not check correc...