M.: A type system for Java bytecode subroutines (1999)

by R Stata, Abadi
Venue:ACM Trans. Program. Lang. Syst