The Functions of Java Bytecode
The Functions of Java Bytecode
Mark P. Jones.
In
Proceedings of the OOPSLA '98 workshop on Formal
Underpinnings of Java, Vancouver, BC, Canada, October 1998.
Abstract:
... to be supplied ...
Available by http in gzipped PostScript.