JVM model: M6 source code. http: //www.cs.utexas.edu/users/hbl/pub/M6/ivme03 (2003)

by H Liu, J S Moore