> In programming language terms, I seem to be doing some kind of just-in-time compilation

Seems a lot more like abstract interpretation to me ! Would be a lot more logical too :)