Semantics of Java Virtual Machine.