A look into the structure and abstract machines of intermediate languages, with examples in stack-based and register-based machines.