Implementation of classes having to do with Java simulation, such as is needed for verification or stack-to-register conversion.

PACKAGES USED: