Earlier quoted context omitted.
If you're actually looking for something that does build to a virtual computer, Nand2Tetris (second edition of the book The Elements of Computing Systems that goes with it is now out) is a great companion to Code : https://www.nand2tetris.org/ . Code is more high level, Nand2Tetris and Elements is project based but covers some similar territory.
I was actually asking about The Elements of Computing Systems in my comment, not Code. What language does it use to build a virtual computer?
"Project 4 is written in the computer’s assembly language, and projects 9 and 12 (a simple computer game and a basic operating system) are written in Jack—the Java-like high-level language for which we build a compiler in chapters 10 and 11."