virtual machine and programming language