3 search results - page 1 / 1 » Formalisation and implementation of an algorithm for bytecod... |
SCP
2011
12 years 11 months ago
2011
CC
2008
Springer
13 years 6 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...
JLP
2010
12 years 11 months ago
2010
We present a calculus for tracking equality relationships between values through pairs of bytecode programs. The calculus may serve as a certification mechanism for noninterferenc...