> 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

> 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 :)