Looks super cool!

For those more experienced in Programming Language Theory, how does code generation slot into PL theory? Is there some kind of common formalism for it?