New formalization of the JVM (0)

by A Tozawa, M Hagiya