Related Work
Subroutines
- Stata and Abadi, A Type System for Java Bytecode Subroutines, POPL98
Loading
- Dean, “The Security of Static Typing with Dynamic Loading”
- Wragg, Drossopoulu and Eisenbach, “Java Binary Compatability is Almost Correct”
- Jensen, Le Metáyer,Thorn, Security and Dynamic Loading in Java: A Formalisation