A Type System for Java Bytecode Subroutines

Raymie Stata
ACM Trans. Program. Lang. Syst., 21 (1999), pp. 90-137

Abstract