Isn't a language just a framework for abstracting machine code?