A Type System for Java Bytecode Subroutines

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

Abstract

Research Areas