On Mon, Aug 26, 2013 at 4:18 PM, David Jeske <[email protected]> wrote:
> On Mon, Aug 26, 2013 at 11:30 AM, Jonathan S. Shapiro <[email protected]>wrote: > >> I'm not aware of any work on static metacompilation in such languages. >> > > Can you offer a formal or informal definition for "static metacompilation"? > Informally: A compilation approach in which the compiler can choose to emit code at static compile time that generates and invokes code at runtime. E.g. to perform dynamic loop unrolling. Have a look at Engler's work on tick-c at Stanford, which I've mentioned here several times,. > I interpret this to mean "late AOT whole program compile", as opposed to a > JIT compile. Which would mean all whole-program compilers are pretty close > for some definition of late. > Nothing to do with that at all. shap
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
